misc Lör 03 November 2018 'docker' 'export' 'import' Export/Import docker container and other docker cleanup activities