> They are not called “dropped domains”, the term used more often is “expired domains”.

Well they obviously are if they're called something else more frequently. But I've heard them called both, interchangeably with equal frequency. I think this is a bit nitpicky

> they auction off the more valuable domains even before they are dropped.

Ummm... even before they expire? :)