Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Docs and minor code fixes #1759
I wasn't looking forward to updating all these references myself but you two seem to have sorted it out! Skimming the diff here, the changes all look right but I'll have another pass before merging.
This PR should probably be merged first and then I can review and merge @jordansamuels PR.