Add 'quick search' input and 'go to top' button for Google. Also highlight search terms.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
