Rename story13.html to users/docs/story13.html