Addendum: I forgot to add that this was observed on a Debian machine, but the Debian package maintainer stated that this file was not generated by the packaging, and suggested that I report the bug here.
Addendum: I forgot to add that this was observed on a Debian machine, but the Debian package maintainer stated that this file was not generated by the packaging, and suggested that I report the bug here.