It appears as though the GPy's come with
MQTTLibon them, in that
from MQTTLib import AWSIoTMQTTClientworks out of the box, and after reset.
The same doesn't appear to be true for the LoPy4.
The documentation is unclear around whether or not the library is included.
Would be nice to have the docs updated and perhaps an answer around what libraries are included in different hardware revisions out of the box.
Good Idea! Ill add a page with supported library's for each board soon.