Since there were no other comments, David and I are planning on working with Ross to resolve the remaining plugin concerns and - if we manage to do that - merge back the docreorg-branch around Monday 12:00 UTC.
The final layout will be 1. Rename the main tab 'Versioned Docs' 2. Move the current version (0.7) into a subtab just like all the other versions and make that subtab the default selection when selecting the main tab. That way the documentation will be part of the test package and everybody can have a go finding any other issues in it. Lazy consensus in effect ... -- Ferdinand Soethe
