Searching revealed there is a library for the ethernet chip onboard for Arduino Nano RP2040 Connect, and docs say to search for it in the mBed. I chose the only board id available that was connected. I get the following error when I check the code in the IDE:
/private/var/folders/hc/39cys7xx68s4vd7gxrchyxn80000gn/T/.arduinoIDE-unsaved202285-19994-p3tosu.z75d/sketch_sep5a/sketch_sep5a.ino:2:10: fatal error: WiFiNINA.h: No such file or directory #include <WiFiNINA.h> ^~~~~~~~~~~~ compilation terminated.
exit status 1
Compilation error: WiFiNINA.h: No such file or directory