@marathon@mastodon.online remote-shell is gled's, though, not href's. Gled is our old hoster, href is the one with the consistently flaky server. I've contacted gled as well, but he doesn't know how to contact href either.