Is the next President of the United States running Linux?

Earlier today I read a post about Ron Paul’s website. Interestingly, his site is less of a typical candidate site and more of a mashup of other sources of information about him. What a fantastic idea and it shows additional transparency. That got me even more curious, what was the site developed on?