It turns out there was already an RM bug filed: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=969975
I will merge the duplicate I created into it: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971730
It turns out there was already an RM bug filed: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=969975
I will merge the duplicate I created into it: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971730