michaelg/dev: links for raspi-version