Man, that was it; or at least, it doesn’t complain about IPX not being installed anymore. I didn’t know you could just make up a name for any library not listed and it would still know to override it. Thanks! I’ll run a LAN test between my desktop and Steam Deck, and if it’s all working, I’ll document it on PC Gaming Wiki and update this thread.