[omnibob]

I ended up just scaling at export to .png, and when looking at the favicon in a browser, it seems somewhat comparable in quality to others from big sites, so I think I'm good to go.