Also, this is very likely a change that should go to Debian. Can you contact Debian as per https://wiki.ubuntu.com/Bugs/Upstream?
Also, this is very likely a change that should go to Debian. Can you contact Debian as per https:/ /wiki.ubuntu. com/Bugs/ Upstream?