I believe RH9.1 is/will be Fedora: http://fedora.redhat.com/docs/release-notes/ . Alternatively, you can download (purchase?) 9.0.93 beta online (codenamed: Severn). This is probably what he is using. Interesting that RH failed to include Severn in that history list. IMHO, they haven't updated it because it's still in testing phase.
Alternatively, it could be a typo on his part.