Links for micropython-microbit-stubs-fr