michaelg/dev: links for byted-overpass-pico-developer-core-service