Cleanup for publishing on github