Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

Currently we have a working solution using js and providing multi page
html. That's a good solution which is already available.


    > I did not go deeper into this scenario, I just found 
    > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877337
    > which includes a forward-backword-forward dance switching multiple
    > times between multi-page and single-page html variant requests.
A single page html may be an additional option but there's already the
single page txt version and the PDF. That's sufficient and I see no
need in providing more formats of this manual.

Therefore we can close this and I will close 877337.