Thanks for this post. The fullscreen hotkey is something I didn’t know about, and is a functionality I couldn’t live without in my linux days.