HDMI sound toggle fixed. Python program with GTK icon in systray in scripts-misc.