[hu3]

As someone pointed out in the Github issue, Docker Toolbox is legacy. I'm not sure how I feel about recommending outdated software to Mac and Windows. It's also slower and not the default way to get Docker.