Can I just leave this as is? Or can/should I correct it somehow?
Ok, while I was writing that last email, I got another confirmation: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994068 So I'm probably good?