Remove unneeded AsciiDoc attribute properties in the *.txt files

These pretty much control how the HTML backend will work, but since
I'm generating a custom one that pretty much ignores all these
options, they are unnecessary.