Javadoc versioning
Currently the website only offers the possibility to look at one version of the javadoc.
It would be useful to allow people to see the javadoc for maybe the 2-3 latest versions.
The choice could be given as a drop-down list when clicking on the "javadoc" button on the main page of the website