Fedora Coin (Fedora40)