Thanks! According to /etc/os-releases, it’s Fedora 32.