Official list of core developers

Officially so, but it doesn’t always work out that way. :wink: