Is this a bug in V4 sep 20 2020?

 From:  Michael Gibson
10003.2 In reply to 10003.1 
Hi Ralf, it appears to be a quirk in the Mac OS. There are several Alt key combinations that generate special characters, like Alt+N generates a tilde (~) character and Alt+N followed by a plain N generates an "N with tilde" (Ñ).

This appears to happen at a low level in the OS so MoI doesn't have a chance to see the key press event for this combination.

There is some discussion here about how to turn those off so they can be used in an app:
https://stackoverflow.com/questions/11876485/how-to-disable-typing-special-characters-when-pressing-option-key-in-mac-os-x

- Michael