ESP32 port missing "hard" kwarg in pin.irq()
The ESP8266 has hard keyword argument in pin.irq() function. This is missing in ESP32 port.
See also: https://forum.micropython.org/viewtopic.php?p=30748#p30745
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.