Searching in docs/js/highlight