Updated repo for mip-mode.

My username has changed.