[doc/] .txt extensions, suitable for crappy webbrowsers