Usé apt para instalar la nueva extensión y funcionó. Vaya. Ahora a hacer copias de seguridad adecuadas y actualizar a Postgres 15. Pero, no esta noche. 
Parece que mi historial se borró, así que no puedo decirte exactamente cómo lo hice, pero ten cuidado. Requiere postgres 13 e intentará reinstalarlo.
PD: Resulta que había activado las copias de seguridad automáticas pero me había olvidado de ellas. No es que supiera dónde estaban. Configuré un proceso rsync para ponerlas en el directorio donde hago también mis otras copias de seguridad del servidor.