Graham Sanderson

yes, we could add a github action to test for badly formatted Doxygen

thanks; yes we will need to think about how to tell picotool what erase commands it can use based on the flash chip (or whether there is a standard progression)

> Just a reminder: I think think PR represents a very good improvement to the performance of picotool and should be merged in, even if there are some code style...

This appears to be an RP2040 erratum, which will need to be documented

we should fix the documentation to say it doesnt work

We are certainly interested in being more standards compliant.... seems like it might be a bit of a backwards incompatibility so positing a 2.0 SDK release

if you have a PR to fix, then great

see also https://github.com/raspberrypi/pico-sdk/blob/master/src/rp2_common/pico_lwip/doc.h

what settings was it giving you that failed?

possibly the same issue as #1453