@adders I find and fix old typos pretty regularly. Only occasionally that old, but I’ve been posting stuff for 25 years now, so I’ve got some old, old typos out there.