How to find out which icons are used in the bottom right of forgejo website?

Beginners question: https://forgejo.org/ uses nice icons in the bottom right. How can I find out which icons those are? Inspector says: astro-icon="ic:round-verified"