[RFC] Changing labels of TV_* timers?

[Diego Novillo]

Some of the labels in TV_* timers are fairly long and mess up the column
display.  Would it be a problem for anyone if I changed them during the
next stage1?

It's only a cosmetic change, but I can see it affecting people's scripts.


Thanks.