Another feature of Github1s is that it allows you to jump to definitions and references. Github.Dev doesn't do this yet.