Update t01.txt

This illustrates the possibility of editing on the server!