So Debian has finally released again. Congratulations. Time to start planning upgrades of servers then.