Am 05.11.22 um 16:44 schrieb Teus Benschop:
Paragraph 4.16 of the DPM [1] does not mention “non-source files”.
It is about “missing sources”.

We can play a word game but "missing sources" is exactly about "non-source files". If a file is contained in a package that is not a source file then its sources are missing.

The common understanding in Debian of what is a source file is "preferred form of modification".

Please take a look at analytics.html and think about the question: "Is this a source file or not?"

There was a bug report on this issue [2].
The file "quill/source/docs/_includes/analytics.html” landed in the Bibledit 
source to fix that bug.

[1]https://www.debian.org/doc/debian-policy/ch-source.html#missing-sources-debian-missing-sources
[2]https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017083

I know about that bug report (I have already referenced it here). It was closed without actually fixing it. The quill files are still non-source files because they are not in their preferred form of modification.

So this bug is primarily about the missing source (Policy violation).
When you have addressed that you can downgrade the severity to important to address the secondary issue of supposed privacy violations.

Reply via email to