Link to BadgeOS Github repo on the Help page