I'll ask in the users' forum. There might be people there who don't follow the bug reports or git logs. This feature is easy to miss on Windows because most users, even nightly users, probably use only one platform or another and aren't aware of the existence of the feature if they don't see it.
I'll ask in the users' forum. There might be people there who don't follow the bug reports or git logs. This feature is easy to miss on Windows because most users, even nightly users, probably use only one platform or another and aren't aware of the existence of the feature if they don't see it.