A valid ESP32 sketch would uplaod without error about the beginning of the year - Now giving error codes

The list in the left pane are all libraries that are submitted to Arduino. You can filter for installed libraries

If you did install libraries from a ZIP archive (e.g. from github) they will not show in the library manager,

To see which libraries are actually installed you can navigate to the libraries directory under the sketchbook directory (probably C:\Users\iwils...\Arduino\libraries).

PS
We're kind-of neighbours.