Hi, I took the liberty of uploading the proposed change above as an NMU to the archive.
This is following the procedure outlined at https://www.debian.org/doc/manuals/developers-reference/pkgs.html#nmu * Upload fixing only release-critical bugs older than 7 days, with no maintainer activity on the bug for 7 days and no indication that a fix is in progress: 0 days Please let me know if you have any questions or concerns. Best, -rt
