Ah, usual instance is up again, it was fixed! For future reference, I will also be reachable at @joepie91@slightly.tech whenever this instance goes down (and I'll probably migrate there fully eventually but I haven't worked out all the details yet).