Is there any other macOS app in the world that uses CTRL (not CMD) + comma to open preferences? Is this a mistake?