The files spooky.dvi, spooky.ps and spooky.txt are all the same manual
but in different formats (TeX output, Postscript and ASCII).
