Hide Forgot
Docbuilder should be able to detect doubled words in a document and report them in the side menu.
This is now available in DocBuilder-Next.