For keeping references: This is another case like https://bugs.debian.org/635777 and https://bugs.debian.org/624599 just a bit more general.
For keeping references: This is another case like https:/ /bugs.debian. org/635777 and https:/ /bugs.debian. org/624599 just a bit more general.