This was the account of User:Astrophobe from 2007-2015. I switched accounts because I wanted to change my username but I did not know about changing usernames — I'd used other wikis where that wasn't possible and I just assumed it couldn't be done here either. This account is now inactive.