Took a moment during election coverage to upgrade to MediaWiki 1.20, released a couple hours ago! All went very, very smooth. Not even a hiccup. New new diff view is a welcome improvement. Much easier to read.