This proposal is for Q3. The service is still up and running and if successful we plan to apply for Q4 in January.
The nodes have previously been available via polkadot.js.org since February. Here is the PR.
We recently removed them from polkadot.js.org due to failure to procure funding. We’re still receiving high volumes of traffic because developers in the ecosystem have already onboarded us as providers.