Usei o apt para instalar a nova extensão e consegui fazê-la funcionar. Caramba. Agora é fazer backups adequados e atualizar para o Postgres 15. Mas, não hoje à noite. 
Meu histórico parece ter sido apagado, então não consigo dizer exatamente como fiz isso, mas cuidado. Ele requer o postgres 13 e tentará reinstalá-lo.
PS: Acontece que eu tinha ativado backups automáticos, mas tinha me esquecido deles. Não que eu soubesse onde eles estavam. Vou configurar um processo rsync para colocá-los no diretório onde faço meus outros backups de servidor também.