improve timer text formatting, auto-update every 100ms