Upgrade to ejabberd 25.08

If you upgrade ejabberd from a previous release to 25.08, there are no changes in the configuration, SQL database, API, or hooks that require your attention before upgrading.