Documentation/git: drop outdated Cogito reference