Nice, a good solution (presumably avoids the default install location of the docker package).