Instructions are for Docker Toolbox, but Docker site now provides and recommends Docker for Mac. What should I do?