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