mention docker-enter in Debian/Ubuntu install instructions