Lists all GitHub contributors and moderators, alongside the original credits (which were moved from the intro text to here) The UI itself is controlled with credits.json. This can be regenerated with resources/gencredits.py.
