Remove mention of the no_history option from the docs.

That option is no longer supported.
Remove unused imports.