delete obsolete comment, tmp disable out-of-date notes.scrbl