Speaking of which, I presume Huy doesn't work for Bitwarden, so it's unfortunate they needed some independent blogger to write up their auth scheme. I do realize there's an independent implementation in Vaultwarden, so that's almost better than a spec -- just as long as Vaultwarden was a clean-room impl and thus reading that code is "legally safe."