I scanned all disks, I've only seen "Bravo Romeo Delta" (a 1992 game) and a Romeo Knight music disk. But the site has a pointer editor, did it look like this?
While editing the mouse pointer of a modern-day OS is pretty much inaccessible, the "cursor" CSS feature in the major browsers immediately felt low threshold, accessible and fun again. Changing the "real" mouse pointer via CSS! Only on a website, but cool nonetheless!
That little fun feature alone helped getting this project off the ground. I tried to make my adaption of the pointer editor low threshold, too! :)
https://heckmeck.de/pointers/?user-content=00000000000000000...
I've also scanned all "tiny" cursors with 13 pixels or less. Surprisingly, there is no pointer with this exact shape yet!