Editing File: /usr/share/doc/texinfo/html/Obtaining-TeX.html