https://digitalixy.com/tech/maude/the-mac-option-key-is-the-most-important-key-you-dont-know-about/