None of the usernames he usually uses seem to be registered. He does respond frequently on Reddit. Maybe there's an equivalent thread over there? He seems to be too busy coding to respond to any comments at the moment, though.