Support for Fedora 40 ended

Support for Fedora 40 has officially stopped as of 2025-05-13 ([source](https://docs.fedoraproject.org/en-US/releases/eol/))
There's no specific issues with it, but should we still support it as we add Fedora 43 to the matrix?