tree 72b44a39e22204fd4035b0bedddcbe1cb5702fc4
parent c723794abe0c5b6c5fa98c2247701279ebed7624
author Edwin Kempin <ekempin@google.com> 1558352034 +0200
committer Edwin Kempin <ekempin@google.com> 1558352285 +0200

user-search.txt: Do not format description of 'footer' operator as footer

'[[footer]]' intended to add an anchor with the name 'footer' to the
section where the 'footer' operator is described, but it actually marked
this paragraph as site footer, which resulted in an unwanted
(unreadable) coloring (see https://imgur.com/a/iyUKWyd). To fix this use
a different name for the anchor: footer-operator

Signed-off-by: Edwin Kempin <ekempin@google.com>
Change-Id: I91c6c6b719700d7e4763577b690de1f93511472e