The Chrome dev console pointed me to the Server Timing API (web.dev, MDN). It looks very useful, should we implement it?