Conquest of Elysium

The two manuals 'manual.txt' and 'manual.dvi' has the same contents, it
is just two different text formats.