gitlab/Konfis: links for micropython-config