MicroPython output value for Pin changed to Pin.OUT

[kjw]

What’s the documented output value for a MicroPython Pin set to output mode?

I think this code intends to set it high to keep the Inky Frame powered but there’s no explicit code to do that.

pimoroni/pimoroni-pico/blob/192625956b6afea88b87eb8d101fbea86e13d77f/micropython/examples/inky_frame/inkylauncher/inky_helper.py#L11-L13

The documentation for constructor has the output as “unchanged” based on value=None and

value is valid only for Pin.OUT and Pin.OPEN_DRAIN modes and specifies initial output pin value if given, otherwise the state of the pin peripheral remains unchanged.

If the current MicroPython interpreter or RP2040 happens to set this high wouldn’t it be better to still do it explicitly?