`default_timer`

[Vilin97]

There used to be a TimerOutputs.default_timer(). I liked it. While it's still possible to @timeit using this default global timer, there is seemingly no way to get it now, unless default_timer was renamed?

[jonas-schulze]

There is get_defaultimer (deprecated; note the typo) and get_defaulttimer, but only the former is currently being exported (implicitly by @deprecate). One could consider exporting the latter as well, IMO.