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