“During this downtime we would be reestablishing access to the new domain (or hexbear.net if we win the auction), access to server ownership, and donation accounts.”

That’s from the We Fucked Up thread on Chapo.chat

so they seem to have had at least some intention of bidding, but that was when it was under 1k.