gitlab/Konfis: links for ppxml2db