Name annotation types by type alone in the Advanced Search

The menu labeled Annotation Type listed "Highlight annotation" and "Image
Annotation", from the strings the reader announces annotations with. Use
the short names, which existed for two of the six.

chrome/content/zotero/elements/zoteroSearch.js

@@ -1258,7 +1258,7 @@
 						['ink', Zotero.Annotations.ANNOTATION_TYPE_INK],
 					];
 					let rows = types.map(([name, value]) => ({
-						name: Zotero.getString('reader-' + name + '-annotation'),
+						name: Zotero.getString('reader-' + name + '-annotation-short'),
 						value
 					}));
 					this.createValueMenu(rows);

chrome/locale/en-US/zotero/reader.ftl

@@ -22,9 +22,13 @@ reader-highlight-annotation-short = Highlight
 reader-underline-annotation = Underline annotation
 reader-underline-annotation-short = Underline
 reader-note-annotation = Note Annotation
+reader-note-annotation-short = Note
 reader-text-annotation = Text Annotation
+reader-text-annotation-short = Text
 reader-image-annotation = Image Annotation
+reader-image-annotation-short = Image
 reader-ink-annotation = Ink Annotation
+reader-ink-annotation-short = Ink
 reader-search-result-index = Search result
 reader-search-result-total = Total search results
 reader-draw = Draw