Announcement: domain expiration


January 26, 2021

My previous domain,, expires soon (and hence so do all subdomains, like I’ve had it redirecting to for some time now, but in a month, this website will only be reachable via and subdomains. I’m not sure if anyone except me uses this website, but just in case anyone does, this is your PSA.