ravas wrote

I'm wondering if the person who made the tool icons has SVG copies they can upload;
or if there is anyone who is interested in making a new set.

SVG has two advantages:

1. scalability for the new age of 4k+ screens

2. we can write scripts to walk a folder containing SVG files,
and change the colors with simple string replacements

Using all SVG icons I can make the GUI fully customizable.