extra.webkit: various refinements