gitlab/Konfis: links for devin-tools