Wasn't Phantom Rider still called Ghost Rider up until the 90s? When did this module come out?
Good question. I checked and this one came out in 1989 (sorry its pushing the board's parameters). Which is another reason its so weird to have the AWC doing a time travel story because I think that the "Lost in Space time" came out in 1987 or so.
I think it was after that mini-epic came out that they started calling him the phantom rider (I think it was AWC issues when he came back as a ghost. It was a good change to try to distinguish him from the other ghost rider)