If it's worth saying, but not worth its own post, even in Discussion, it goes here.
Thanks for the report. I've created a ticket on the issue tracker.
If it's worth saying, but not worth its own post, even in Discussion, it goes here.