Eclipse setup procedure appears outdated/has missing steps

[e107steved]

See https://forums.raspberrypi.com/viewtopic.php?t=391600 for detail.

Appendix D of 'getting started with pico" details the steps to set up to use Eclipse as a development environment. However, as per the linked thread, this doesn't work for me - there are multiple errors when trying to create Eclipse project files for the examples.