I successfully installed Krypton 17. Love the new look, etc., however – is there an option to mute? I have multiple things going on my computer and sometimes I’d like to mute Kodi while I listen to whatever other thing I’m doing. So…. anything…anyone?