michaelg/dev: links for picoscope-record