gitlab/Konfis: links for devtool-core