Plugin for translating user/repo names to GitHub URLs and vice versa