Board Thread:Editing Discussions/@comment-28251580-20170215183154/@comment-1959787-20170309000017

I'd vote OS with the old ones as trivia entries (or similar). It sounds like the original names were just listed behind the scenes, or maybe in the credits, whereas OS (which I haven't seen) definitely makes a big deal out of them and shows and uses their names in an important way.