Various improvements to Docker, such as compiling py into pyc