In case it helps anyone: I was able to update my ancient ejabberd on Ubuntu using the repo at https://apt.jabber.at. Thank you, whoever is running that!