michaelg/dev: links for pico-hw-detection