Bug#940227: please provide the policy as one big file

Package: www.debian.org
Severity: wishlist

Hi!

https://www.debian.org/doc/debian-policy/ is pretty and all,
but it's really hard to grep in it since it's split into different files
for each section.

Please provide a version where everything is in one file.

Cheers,
weasel