I've got a PicoW webserver running using the AsyncWebServer library but the wi-fi credentials have to be manually edited. I'd really like to add the WiFiManager to allow credentials to be entered without editing.

I've looked at the source and have included both .h files in my test program (Arduino IDE and Earl Philhower's Arduino-Pico core). My problem is, there are no examples or any information (at my level) to explain how to use it. I've written a test program based on my best guess but it failed first because it needed a CRC32 library. So I installed CRC32 from the Arduino library manager and now it fails because "'class CRC32' has no member named 'add'". So, evidently I have the wrong library and there's another CRC32 library by the same name - can you provide a link for the correct one? And for any other dependencies?

A minimal Arduino example showing how to use the library would be great. I'd very much appreciate any assistance and in return I'll document my working example for others. Thanks!