the point of this one is to keep the github up to date with a CSV so all of us can leverage the "proper" redirections