HTML output: remove search tip

- remove search tip
- replace "Go" by "OK" on search button

Signed-off-by: Olivier Carrère <carrereo@gmail.com>
Acked-by: Angela Cristina <acristina@redaction-technique.org>