On Sat, Jun 24, 2017 at 8:13 PM, Russ Allbery <r...@debian.org> wrote: > > That's one of the things that confuses me a bit -- why not just use the > existing HTML files? ... > > I assume you're looking at: > > https://www.debian.org/doc/devel-manuals#policy
I did a StartPage search for "debian upgrade checklist" from past experience, and a link to the ".txt" file was the very first link that appeared, but I did not see a link to the corresponding ".html" file. To my previous list of three options, there is a fourth option, which I would also be okay with: change nothing and close the bug. But take into consideration that ".txt" file is available on Debian via a web link, so others are likely to see it. Paul Hardy