10 Jul 2026: green: faster first page loads

• green: OK, no downtime

We enlarged PHP's code cache for every PHP version on the server. In testing, a slow first page load dropped from almost 7 seconds to under half a second.