Well, I wouldn't actually expect anyone to invoke univalence like that (yet). But seriously, since these quotients smell of category theory, it seems odd to fix a particular thing as "quotient" and then call all the others "equivalent". Isn't that exactly the sort of rigidity we're trying to avoid?