Sigh, my VLC player has decided that it suddenly doesn't want to play mp4 files, leading me to suspect the the settings have been altered. Now, I know that there's a function somewhere in the settings that lets you type in the codecs it can play, but I'm having a lot of trouble finding it, despite having used it before. So, can someone kindy direct me to it?