[jggimi]

See my one-line script above. Replace the pipe to wc(1) with directed output to a file or pipe to a pager.

---

Edited to add:

There are multiple webkit ports. Adjust the keyword to "webkit-2" to avoid all the other webkit variants.