Final commits

My last commits to CodaLab.  It's been a pleasure.  Go CodaLab!