Shall we allow users to pass a custom timer instead of using a global default one?

This would give us more flexibility. Additionally, it's often good to avoid global mutable states, cf. https://github.com/mpv-player/mpv/commit/1e70e82baa9193f6f027338b0fab0f5078971fbe.