Doc changes: message doctest, sphinxification in progress