DOC: missed adding user.html to repo