Comment by jvandreae

The problem with docker is less the containerization and more the half-baked build system.