Very small update. The Changes won't be noticeable unless you're
an hardcore user like me.
I've recently discovered that CE downloads for linux are now more
important than Windows's one. For example if you look at the
"3_gold" count on this page:
there are about 1000 dls for linux vs 500 for Windows !