Duplicate ID markup error in html output

W3 validator report "Error: Duplicate ID" for the following diffoscope results:

https://validator.w3.org/nu/?doc=https://tests.reproducible-builds.org/debian/dbd/unstable/amd64/pfstools_2.1.0-5.diffoscope.html

https://validator.w3.org/nu/?doc=https://tests.reproducible-builds.org/debian/dbd/unstable/amd64/mit-scheme_10.1.10-1.diffoscope.html

The Error comes from the following html snippet:

different file-names pfstmo_mantiuk06 & pfstmo_mantiuk08 in /usr/bin, will result in duplicate id value of pfstmo_-.-.---_amd--.deb---data.tar.xz---data.tar---.-usr-bin-pfstmo_mantiuk--

<div id="pfstmo_-.-.---_amd--.deb---data.tar.xz---data.tar---.-usr-bin-pfstmo_mantiuk--"><span class="source">./usr/bin/pfstmo_mantiuk06</span>
<div id="pfstmo_-.-.---_amd--.deb---data.tar.xz---data.tar---.-usr-bin-pfstmo_mantiuk--"><span class="source">./usr/bin/pfstmo_mantiuk08</span>