I guess my Feb 2009 purchase of Mars Edit 2.0 does not qualify for an upgrade to 5.0 🤪 But happy to support your work @danielpunkass ! My first Micro Post using the global shortcut.