No matches were found for subject:"Bug#876241\: debian\-policy\: Produce HTML output that doesn't try to load any JavaScript"