Add doc for how to set up Vivox.
Switch timer formats again, since it does some weird things.