Fix the documentation for knownExtensions (closes #24)