A simple feature to download a gzipped export from docker