Thanks, fryke, that's obviously true but it doesn't really address my question or concern directly.
I was, more or less, wanting an opinion on whether this is a harmless issue or not for right now. With the codec installed I've noticed that the double help menu problem also shows up in...