No matches were found for subject:"#872944 www.debian.org\: Remove JavaScript from Policy Manual published on web mirrors"