My interpretation of the process was wrong, sorry for that. A missed quorum results in readding the collection, not in not cancelling the removal. We discussed this at today’s community meeting; we definitely have to improve the formulation of the process (it’s not that simple to understand) and clarify some aspects (like how we get the clear reason if a majority says no). We decided to make another beta release (11.0.0b2) with the collection re-added today.
Sorry for my screw-up!