Thread:Androgeos Exeunt/@comment-30625039-20171004103613/@comment-237174-20171029153736
When was this, mid-July? I was half-expecting the change to be reverted because I knew it was borderline drastic. Since Horsti reverted it so quickly, there's nothing for me to say.