Update document.txt

This illustrates the possibility of editing on the server.