Add Jedi to ST and slight changes to preferences