Reminder: quick cleanup of Docker images…

docker rm --force $(docker ps -q -s)
docker rmi --force $(docker images -q)