gitlab/Konfis: links for randomplusplus-tools