rocq-timing-el is used to overlay timing information from
`.v.timing` files in the current buffer