A drop-down terminal makes for ... new hotkey profile named Hotkey Window. You now need to go to the System Settings app (Apple Menu > System Settings). Go to General > Login Items & Extensions, and ...