Exactly. They're "official images" in the sense that they're officially approved by Docker, it doesn't mean they're made by the PHP foundation.

We need _real_ official Docker images of PHP.