I have just bought the codecs for my raspberry pi. I put them in config.txt, as suggested in the email.
However, I couldn't find any difference. Videos that did not play before aren't playing now neither.
The email also mentioned some vcgencmd command, which is not present in my installation.
What package do I need to install to get it?