Hi Exegghead, thanks for pointing this out! We'll pass this on to our development team, though we cannot, of course, say whether or when any changes might be made, as this is within the remit of the development team, not that of the moderation or community management teams.