Some handy tools for managing Docker containers.