Uhoh, seems ubuntu upgrade reset the editor config. I'll fix this, thanks!