From memory Robi did a very good job in revectorizing it. So what do you guys like to start with.
-1- the absolute original that I hold
-2- the vectorized version by Robi
I think that I'm fine with either.
Wouter
No question, version -2-
Because an official version has to have the same look everywhere, without manual rework.