Question: how to change the name of docker image?
Answer: $ docker tag <old_name> <new_name>, $ docker rmi <old_name>