Terminator: Remove unnecessary options from default theme