On Friday, 7 September 2018 at 16:20:29 UTC, H. S. Teoh wrote: > Yeah, I don't remember that either! Was this a recent > addition? Or is it an accidental feature (aka bug)? :-P If it is a bug, please keep it ;)