Adds a "Document's statistics" button in the navigation bar.