Fixed highlighting in search results; changed search algorithm to give more score for terms found in page title; hopefully (hackishly) fixed login_key_cache getting too long

span.normallink {
  display: none;
}
div.mdg-comment {
  display: none;
}