@pherjung, @jameson, sorry for the confusion. @jameson kindly made this report at my request, so that I can make an internal bug report about it.
However, I defer to your better judgement here @pherjung. If you think this is more appropriate in the General category, then we should go with that (the important thing for me is to have a place for the topic to be discussed).