Add negative versions ('NoXXX') of extensions to knownExtensions