vgdev/stable: links for micropython-mojodht