central, you make an excellent point! If the name has expired it should be dropped as you suggest.
In fact, I would much prefer an auction system that was not run by any registrar. This could be a great way for ICANN to create some revenue for themselves.
But I'm more concerned with the skimming by the registrar where suckers like us never get a chance at the names which the registrar has pre-tasted and transfers the registration to themselves.
.