Replace `notes.org` with GitHub issues

A bugtracker is better for such things than an in-repo file, no matter
how nice org-mode is.