Would it be a big problem to allow the Timer filter to accept more general format string, including any kind of characters, something like format in the date command?
It could also also allow to specify speed multiplier, ideally with the default matching the clip speed.
This would make it straightforward to put right time without separate track, and also count frames in a high speed video.
Is it sufficient to put a request here or is there a separate tracker for enhancement requests?