Source: dict-jargon Followup-For: Bug #914542 X-Debbugs-Cc: [email protected]
I don't think this is reasonably fixable especially due to missing tooling. Additionally we should pay attention to Eric Raymond's 2003 comment of "Also note that the info version has been phased out; it's an HTML world now." on http://www.catb.org/jargon/download.html

