With the name "Richard" getting "Dick" as a nick, who thought that naming Nova "Richard Rider" would be a good idea?