The reason I made specific PRs is because I feel we handle them differently.
To me, it doesn't matter if the domain is hidden behind in the
deb.devuan.org pool: such domains shouldn't be used by the project
whatsoever... but other people might (will?) see things differently and
separate both types.
This separation has been made to avoid the baby being thrown withthe
bathwater if such an opinion was to prevail.