michaelg/dev: links for device42-api