Assorted Docker images Dockerfiles (and configuration files, where applicable) for assorted Docker images.