Apparently they're on 1.34, on the latest-but-one nixos stable, and can't upgrade to latest nixos stable because of an unrelated openldap issue. That's not on you.
I talked to the room admin and apparently when they create a new room (latest synapse, latest element) it gets set to v9 by default and they can't do anything about it.