This PR replaces the DocView with the built-in simple browser of VS Code. The abbreviations feature of the docview is factored out into a separate AbbreviationView.
This PR also updates the manual and the setup guide to reflect the current version of the VS Code extension and moves the 'Show Setup Guide' and 'Show Manual' commands to "Docs' from 'Setup'.
This PR replaces the DocView with the built-in simple browser of VS Code. The abbreviations feature of the docview is factored out into a separate AbbreviationView.
This PR also updates the manual and the setup guide to reflect the current version of the VS Code extension and moves the 'Show Setup Guide' and 'Show Manual' commands to "Docs' from 'Setup'.