kepler is up

Kepler is back up for now. We'll be monitoring it to see if there are any upgrade issues. It will go back down again tomorrow.