doc: list editor options by name, not plugin name
So the users can recognize their option by their editor's name. Fixes #20398. Change-Id: Id314d4dbe26f40231a479b179620d7e66512b506 Reviewed-on: https://go-review.googlesource.com/51114Reviewed-by: Chris Broadfoot <cbro@golang.org>
Showing