Clean up for publication on GitHub.