Yes. I still have one. I used it in a Soekris 486-class machine running OpenBSD for many, many years. I stopped using the Soekris when they dropped driver support for the accelerator. I think i386 support might be gone now too. Cool little card; I think I might still have it in a drawer somewhere.

I remember the MiniPCI variants, it makes sense that a full-size PCI one would've existed. Post a photo if you find it!