I'll create a CREDITS.md file containing the info removed on this commit and more, so we have a comprehensive history document.