We have never done it this way. We have only ever had the latest release available for download, as we do not want for people to be installing versions known to have bugs, and it means people then doing things like adding security flaws to their site intentionally. As mentioned above, in this example, PHP itself is no longer providing security fixes after this month for any PHP 7 version. So for this very reason, we would indeed push PHP 8.