Pushed as 49ec5d88c5770ae49b45849cb691c8921ecf4ca7 with a slight change to
reduce the amount of RAM requested (what is "docker load" doing, loading
the entire image into RAM or what? /mumble).