The issue is the combination of non-redistributable and missing from
upstream.
Well, then call it DISTFILE_UNAVAILABLE or whatever.
Note: the package is only useful for users who *already* have the distfile
Yes, exactly.
My impression was that most of the people would like those packages go away
(they're of no use to them, they break bulk builds, they get asked why the
distfile isn't available) while a few people would like it to stay because they
do have the distfile.
So why don't keep the package and mark it as "this is only useful to you if you
somehow do have the distfile"?