Community leaders

Public ranking from PostgreSQL aggregation, ready for weekly/monthly/all-time filters.