ESP8266 - 'priority' and 'wake' params in Pin.irq method are not supported
The doc (v1.8.6 and v1.8.7) seems to be wrong for the port esp8266, the parameters priority and wake are not supported, but they appears in the Pin class doc: https://micropython.org/resources/docs/en/latest/esp8266/library/machine.Pin.html
I've seen in the port Pin implementation that those parameters are not supported: https://github.com/micropython/micropython/blob/master/esp8266/machine_pin.c
Besides, there are some constants, like Pin.IRQ_LOW_LEVEL or Pin.IRQ_HIGH_LEVEL that are not in Pin class but they appears in the doc.
It seems that there are some other issues related with doc customizations by port, maybe that are sphinx issues, but I don't think so.
ESP8266 - pin.irq().disable() is not available?
The documentation suggests that one can disable an interrupt handler on a pin like this:
mypin.irq().disable()
But at least using v1.8.7-200-g21f0852 this method isn't available:
>>> p.irq().disable()
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
AttributeError: 'IRQ' object has no attribute 'disable'