Picotool repository is cloned 3x when running for the first time

[P33M]

It's also built 3x in the following locations -

pi@raspberrypi:~/pico $ ls -R -1  | grep picotool-*\:
./pico-examples/build_pico/_deps/picotool:
./pico-examples/build_pico/pico-sdk/src/rp2040/boot_stage2/picotool:
./pico-examples/build_pico2/_deps/picotool:
./pico-examples/build_pico2/pico-sdk/src/rp2350/boot_stage2/picotool:
./picoprobe/build/_deps/picotool:
./picoprobe/build/pico-sdk/src/rp2040/boot_stage2/picotool:

Should one of the earlier steps be to do a direct clone, then make & install?