Oh. At the meeting I thought we decided against this.

Also, when will your commit with the timer be merged? I can't even find what PR it's in.