Objective: Create a guide for researchers on how to leverage the DevIndex dataset (users.jsonl).
Key Points:

• Explain the rich data structure (the multi-year contribution matrices).
• Detail how the heuristic badges are calculated mathematically.
• Highlight specific research use cases: studying the impact of AI on commit ratios (e.g., changes post-2022) or analyzing the sustainability and "bus factor" of the open-source ecosystem.
• Emphasize that this is a free, high-quality, open-data goldmine.