Which Shottky diode do I need for redundant power to a Raspberry Pi Pico
There are tons of Schottky diodes that will do the job.
You need one that can handle the current drawn by the Pico.
An obvious choice would be to use the one already in the design.
MBR120VLSFT1G or an equivalent.