And it seems to be totally generic, just 7 digits, and switching every 10 seconds instead of 30.

Bitwarden can import them too.