http://www.barackobama.com/ is run on Movable Type Pro, which is essentially the supported commercial version of the open source Movable Type. I don't recall the hoopla surrounding that choice. Buytaert's company Acquia helped develop whitehouse.gov. Perhaps some of the development that went into whitehouse.gov may end up back in open source, but I wouldn't bet on it.