Albert,
I followed up on a "orphaned bug" by adding a message to the bug 905080.
This got never a response. Did I make a mistake with respect to the
Debian protocols?
I seem to remember that I got a confirmation that in "due course" a
Debianist would
respond.
And no, the 8051 is not dead by a long stretch. So deleting from the
Debian distribution is not good.
I just wanted to add that orphaning doesn't imply future removal. Unless the package is in a bad shape while having very few users, it's not going to be removed.
--
Cheers,
Andrej