What's your opinion on software like https://www.autohotkey.com/ then?