Hello, I noticed there are two settings which are not saved properly or don't have any effect when checked (both in "simple settings" > input & codecs): 1) Option "Use system codecs if available": If I check this option I noticed I cannot play wmv files anymore, but the actua...