Thanks, that’s a good reminder. And now I see it does look like there is a way for a program to say that it is notch-aware.

I use full screen mode most of the time and do prefer to have the menu bar suppressed as I don’t use it much. I’m normally more short of vertical space than horizontal.