Links for micropython-symbol