Rewrite our documentation on developing with the Docker image.