pico-engine
pico-engine copied to clipboard
The pico name can be different in wrangler and pico-engine-ui
wrangler captures the pico name during the pico creation process
subsequent changes of the name in the developer UI do not make their way into wrangler