Aaron van Wirdum 0 years ago I had some IRC interactions with him years ago yes. (Under his pseudonym; did not know his real name back then.)