michaelg/dev: links for micropython-mojodht