Rough and ready conversion of Trac tickets to GitHub issues