I'll add a script that generates the icons from icons.svg or a compatible
file. For now I committed the discrete icons so that others could suggest
name changes while I'm at an early stage and they aren't used anywhere in
the code. There will also be PNG renders, so the load time could actually
improve (I think it's much faster to load 300 PNG files than to load one big
file and render 300 pixmaps).