Add 'quick search' input and 'go to top' button for Google. Also highlight search terms.
Per 15-09-2015. Zie de nieuwste versie.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
