(TXT) SrcFILEs.txt
 (TXT) catcodes.RLS
 (DOC) catcodes.pdf