I like to use descriptive names so I think we could change the repository name from _docker_ to, for example, _Dev Environment_.