TLE
TLE copied to clipboard
Improve docker.md
Instead of working with container_id. Add tags and names for containers.
I don't really see the point of this.
If it reduces the need of the <insert container id here>
it's probably a good change.