Users guide: automatic version number for html as  well
Documentation html: higher image resolution
Related to a571f35a8dc5ff4e65a114fc047df194b3b314d1