texinfo.tex
ratpoison.info