I have the intelligently hide dock option enabled, as i feel like it makes most apps feel less cluttered. Is there an extension to make hitting the “menu” key, or what would be the windows key if we weren’t on linux, make the dock appear? Thank you in advance everyone! Happy holidays!