Fix: [OSX] don't show top OS menu bar when in full screen #8486
Motivation / Problem
#8038 has a good movie showing the issue.
Solution given by #8038 (comment) and confirmed by https://developer.apple.com/library/archive/documentation/General/Reference/InfoPlistKeyReference/Articles/LaunchServicesKeys.html#//apple_ref/doc/uid/20001431-113616 .
Checklist for review
Some things are not automated, and forgotten often. This list is a reminder for the reviewers.
Testing the bundled macOS package:
Full-screen mode does hide the OS menu bar.