GitHub Action
sync: docs: remove legacy gamification, leaderboard, and points references across all documentation and website
789717d