1 The Great Renaming 1985 – 1988 (2000) 2022150 points36 commentsHistory & Retro Computing details The Great Renaming FAQ