On Monday, 17 November 2014 at 20:45:28 UTC, Dmitry Olshansky wrote: > I think that it's a bug or a very annoying feature. > I've seen it a few times before but never filed (I too wasn't > sure if it's by design). Yes me too. I'm filling.