Package: tetex-doc Version: 1.0.2-2 Severity: wishlist I have packaged texdoctk, a GUI for easier access of the teTeX documentation. Thomas Esser has placed this program upstream in the contrib directory of teTeX. Could tetex-doc suggest texdoctk?