# [RFC] Server-timing utility