add version number to manual top page's title