Some projects have unimpressive websites but great-looking repositories with badges, e.g., on GitHub. When should we link to which?