Re: Important changes in Docwriter

[Nikhil Ramakrishnan]

A quick tip: If search does not work for you while browsing the docs
locally, try running `mkdocs serve' (or `python3 -m mkdocs serve') in
the `docs/' directory (after `make refdoc'). This serves the site on a
local server, providing a more website-like experience.