Fixes #440.
--forceflush
Fixes #299
Building and deploying the documentation requires some infrastructure that's not part of this tree.