Added 3 KorboEE options to defaults and initialization