We should document the "Switch views command". And also other improvements to the F7 experience. https://code.visualstudio.com/docs/editor/accessibility#_diff-editor-accessibility I also noticed we mention `F7` commands in two sections. We should consolidate that.