Did Marin County just come to its senses on housing?