reverting docker-run.1.md