Thanks for point this out. In my head it's always Richard 'Mainline' Stallman, like a competitive video game handle, no idea why.. I knew it was absolutely wrong but never cared enough to Google it. Now I know.