Fix up for GitHub!

Also fixes copyrights.