Comment by Vuska

Even Apple has forgotten about this it seems. There are various places in the UI where this change is not respected, e.g. Stage Manager.