keys of extensions MUST be IRLs