Bug#872944: www.debian.org: Debian Policy Manual not fully published

El 24/08/17 a las 23:05, Sean Whitton escribió:
> Hello Laura,
> 
> On Thu, Aug 24 2017, Laura Arjona Reina wrote:
> 
>>
>> * If we should use the packages from "sid" as we use for the
>> documentation packages, or stable, or backports...
> 
> If it's easy, we'd prefer you to use them from sid, because that's what
> we develop the package against.
> 

I guess it's the same easy to use one of another. My concern is about doing the
right thing... making our web visitors run javascript code from sid in their
browsers does not sound right for me.

Would you (Debian Policy Team) consider acceptable to leave the website version
of the manual as it is now, without any javascript? I guess we are loosing some
search function and maybe some text animations, but for what I've seen, the page
looks ok... and in the manual it's said that the manual is provided by the
package debian-policy, and that is available in different formats. The website
version could be considered a "plain HTML" version, then...

Best regards