Rename story12.html to users/docs/story12.html