I am asking because I don't know, but if you are using the pinball browser to edit the color information, aren't you essentially modifying the game code, or is it coloring it in real time like the ColorDMD? If it is the former I can't see the license holders liking it too much.
New! Dark mode!
Browsing Pinside at night? Getting tired of all the white? Switch to dark mode using the button in the top right (or CTRL-B)!