_Originally posted by @lurch in https://github.com/raspberrypi/pico-project-generator/pull/87#discussion_r1255019997_