Missed in your FAQ that codecs can also be removed using Window's own possibilities:
e.g. through rightclick on My computer > Properties > ....
or through [Start] > Settings > Control panel > System > ....
followed by (for both "routes")
.... > Hardware > Device manager > Sound, Video and Game controllers > ....
Now you can doubleclick on "audio codecs" or "video codecs" and select [Properties] and there they are ...
(P.S>: Note the abovementioned "titles" are translated from Dutch (windows) to English, so there may be different terminology)