LoPy4 machine.Timer documentation

[aliubi]

I've been trying to set up the Timer functions, but I gather I've got a different Timer package on LoPy4 than the one documented at https://docs.pycom.io/firmwareapi/pycom/machine/timer.html. I get syntax errors, too many parameters, and other errors trying those examples. The document at https://github.com/pycom/pycom-micropython-sigfox/blob/master/docs/library/machine.Timer.rst indicates that the timers may change depending on the module, but it primarily features WiPy and ESP32 features, none of which seem to work on LoPy4. I could list out the various errors I get trying the many published examples I've found, but if there's an up-to-date document delineating the machine.Timer implementation on the LoPy4, I could read it and save us all some trouble...I just need a URL. Also, any advice on searching for documentation in general is welcome; I gather it's scattered between the Pycom docs, the Github docs, and the forums, but if there's more sources, I'm all ears.