Maintenance: Github cleanup for distribution.