Using the "docker.elastic.co" container registry behind a firewall

Is using Docker Hub an option? The images of Elasticsearch, Kibana, Logstash,... get mirrored there. For example Docker

I don't think changes to the backend of docker.elastic.co are currently planned.