Regardless, it seems the issue lies in the way Debian is handling packaging, so I would file a bug upstream if I were you. If you indeed believe it to be a bug. Might be good to check in with the gtk maintainers first and see if they can provide some insight.
In Debian the theme comes from gtk, too: /packages. debian. org/sid/ libgtk- 3-common
https:/
However, there is no ubuntu-mono.
Regardless, it seems the issue lies in the way Debian is handling packaging, so I would file a bug upstream if I were you. If you indeed believe it to be a bug. Might be good to check in with the gtk maintainers first and see if they can provide some insight.