Peeking at Espruino Board Timers 2, 3, 4, and 5

Great - thanks for posting this! I'll fix the manual link.

There's a tutorial on how to access a bit more of the timers on the STM32F4 here:
http://www.espruino.com/STM32+Peripherals

While not immediately applicable, the timers behave in a similar way on the F103 in the original Espruino board, so with the work you've done peeking all the register values, you should be able to get something working pretty quickly.