#381 Use Python HTML server to serve local docs.
Merge remote-tracking branch 'github/enh/#381-python-web-server-doc' into develop