by using the 10.2 range, which is not one used by docker and also is less likely than 10.0 to be used by something else. Fixes #402.
by using the 10.2 range, which is not one used by docker and also is less likely than 10.0 to be used by something else. Fixes #402.