Hide dump_notes() again.