ports/raspberrypi/common-hal/picodvi/init.c does a query to see if there is a valid monitor I2C EDID connection on init. This is queried to provide some monitor resolution availability information.

In discussions this week, testing of Adafruit and non-Adafruit HDMI displays was discussed.

I suggest that the EDID resolution information be available to CircuitPython such that programs which may want specific resolutions or utility programs looking at a connected monitor may check the pertinent EDID information (the entire EDID info is not, repeat not needed).

This should not be a big change and could provide some important information on the same order as we do for font sizes, etc. Thank you for your consideration.