Upgraded all three @ubuntu hosts to 13.10 at @digitalocean. Painless and only 15 minutes time in total. Nice.