Oops -- didn't mean to publish notes files.