Rename users_manual.txt to users_manual.html