Fix #9456: html search: abbreation marks are inserted to the search#9495

tk0miya merged 2 commits intosphinx-doc:4.xsphinx-doc/sphinx:4.xfrom

tk0miya:9456_abbr_marks_on_search_resulttk0miya/sphinx:9456_abbr_marks_on_search_resultCopy head branch name to clipboard