It seems so that the large majority of us runs Linux, while others run (free)bsd or OSX.<br>