Nope, it is definitely Wipeout XL. I quite literally still have the old rar file (25MB or so, crazy tiny), though I don't know if it would run properly as it is a early Direct3D title.
Looks like you can get it here https://www.myabandonware.com/game/wipeout-xl-cok