See file ANNOUNCEMENT.