The material that used to be here is now at
https://codeberg.org/ivoa-edu/gavo_addpms