TOTP is a defined standard, specifically RFC 6238.
But I still have 3 different apps on my phone so that I can get on to various customer VPNS. 🤷‍♂️

Assuming they used the top link, Fedora?

https://www.gnome.org/getting-gnome/