jp6/cu122: links for micropython-typing