fix labels on update site HTML
release JBT 4.2.1.Final (4.2.1.Final) to production: link to latest dev milestone discovery site
release 8.0.1 to Central (also add placeholder entries for 9.0.0.Alpha1
fix typo in plugin.xml (missing :)