doxy: add a section about versioning.