Handy bookmarklet to display w3c navigation timings for any web page | Hacker News Reader