[rzzzt]

The Docker Toolbox repo is still hanging around, although in archived form: https://github.com/docker/toolbox

With 19.03 it should still be possible to access the public hub, I think.