@petealexharris@mastodon.scot Hench the end user's programming dilemma, dating from the first availability of macro keys even on dumb terminals: "is it worth taking the trouble to automate this?"