Good thing I was doing my weekly upgrade of the servers (including kernel), so I recompiled php with "sodium" option and upgraded all three hubs (Netzgemeinde, hubzilla.org and hubzilla.de) to 9.0, without any problem :-)

Ah, regarding PHP.. which PHP version is supported by Hubzilla? Is it ready for 8.3.?