Remove all Docker images and containers April 10, 2016 Quick note: the original post dates from 10-04-2016 but got updated at 02-05-2020 and it was essentially written from scratch again.
