OK by me. But maybe we should wait until the oXygen plug-in is set and this symlink (or redirect) bit has been settled?

I’ve updated the list. I can also see that the Debian packages are updated. Can I announce the release on TEI-L?