Update users_manual.html