(BIN) FAQ-LuCAS.dvi.gz
 (HTM) FAQ-LuCAS.html
 (DOC) FAQ-LuCAS.pdf
 (BIN) FAQ-LuCAS.ps.gz
 (???) FAQ-LuCAS.sgml
 (BIN) FAQ-LuCAS.txt.gz
 (BIN) doc-faq-lucas.dvi.gz
 (HTM) doc-faq-lucas.html
 (DOC) doc-faq-lucas.pdf
 (BIN) doc-faq-lucas.ps.gz
 (BIN) doc-faq-lucas.txt.gz
 (???) doc-faq-lucas.xml