I agree, but I'm also a bit (selfishly) sad to see that the old logos have disappeared (I was the one who redraw them in SVG, before only bitmap formats where a

I agree, but I'm also a bit (selfishly) sad to see that the old logos have disappeared (I was the one who redraw them in SVG, before only bitmap formats where available).