I added all the metrics at once and this one is a reminder. I had to choose my poison: Add yet another TODO in the code or I have the "real" timer code which does nothing...