Remove obsolete comparison with github-trac.