[#2217] update instructions for running on mac
[#2208] tweak manual.rst for 4.0.3