"ekstensi" meaning in Indonesian

See ekstensi in All languages combined, or Wiktionary

Noun

IPA: /ɛksˈtɛnsi/ [Standard-Indonesian], [ɛksˈt̪en.si] [Standard-Indonesian] Forms: ekstensi-ekstensi [plural]
Rhymes: -ɛnsi Etymology: Borrowed from Dutch extensie (“extension”), from French extension, from Late Latin extensio. Etymology templates: {{bor+|id|nl|extensie|t=extension}} Borrowed from Dutch extensie (“extension”), {{der|id|fr|extension}} French extension, {{der|id|LL.|extensio}} Late Latin extensio Head templates: {{id-noun}} ekstensi (plural ekstensi-ekstensi)
  1. extension:
    the act of extending; a stretching out; enlargement in length, breadth, or time; an increase
    Sense id: en-ekstensi-id-noun-4JbjlK9z Categories (other): Indonesian entries with incorrect language header, Pages with 2 entries, Pages with entries Disambiguation of Indonesian entries with incorrect language header: 25 21 4 12 11 18 9 Disambiguation of Pages with 2 entries: 32 27 3 7 9 10 12 Disambiguation of Pages with entries: 34 30 2 7 7 8 12
  2. extension:
    the state of being extended
    Synonyms (act of extending, state of being extended): perpanjangan
    Sense id: en-ekstensi-id-noun-twW2F6jv Categories (other): Indonesian entries with incorrect language header, Pages with 2 entries, Pages with entries Disambiguation of Indonesian entries with incorrect language header: 25 21 4 12 11 18 9 Disambiguation of Pages with 2 entries: 32 27 3 7 9 10 12 Disambiguation of Pages with entries: 34 30 2 7 7 8 12 Disambiguation of 'act of extending, state of being extended': 27 59 2 3 3 4 3
  3. extension:
    (semantics) capacity of a concept or general term to include a greater or smaller number of objects; — correlative of intension
    Sense id: en-ekstensi-id-noun-~3tJ7IT6 Categories (other): Semantics Topics: human-sciences, linguistics, sciences, semantics
  4. extension:
    (anatomy, sports) a movement at a joint that increases the angle between the two ends of the joint; the opposite of flexion
    Sense id: en-ekstensi-id-noun-n77miBv0 Categories (other): Anatomy, Sports, Indonesian entries with incorrect language header Disambiguation of Indonesian entries with incorrect language header: 25 21 4 12 11 18 9 Topics: anatomy, hobbies, lifestyle, medicine, sciences, sports
  5. extension:
    (telecommunications) a numerical code used to indicate a specific telephone in a telecommunication network
    Synonyms (telecommunication numerical code): sambungan (alt: Kuala Lumpur Standard Malay)
    Sense id: en-ekstensi-id-noun-KQ7IE052 Categories (other): Telecommunications, Indonesian entries with incorrect language header Disambiguation of Indonesian entries with incorrect language header: 25 21 4 12 11 18 9 Topics: communications, electrical-engineering, engineering, natural-sciences, physical-sciences, telecommunications Disambiguation of 'telecommunication numerical code': 6 6 6 6 59 12 6
  6. extension:
    (computing) file extension
    Sense id: en-ekstensi-id-noun-2~EYA36c Categories (other): Computing, Indonesian entries with incorrect language header, Pages with 2 entries Disambiguation of Indonesian entries with incorrect language header: 25 21 4 12 11 18 9 Disambiguation of Pages with 2 entries: 32 27 3 7 9 10 12 Topics: computing, engineering, mathematics, natural-sciences, physical-sciences, sciences
  7. extension:
    (education) university programs that are targeted at the broader (usually adults) community whose participants are not full-time enrolled students
    Sense id: en-ekstensi-id-noun-sVgtLHHC Categories (other): Education, Pages with 2 entries, Pages with entries Disambiguation of Pages with 2 entries: 32 27 3 7 9 10 12 Disambiguation of Pages with entries: 34 30 2 7 7 8 12 Topics: education
The following are not (yet) sense-disambiguated
Related terms: ekstensif
Derived forms: terekstensi, cedera ekstensi, ekstensi alamat virtual, ekstensi bahu, ekstensi larik, ekstensi nama berkas, ekstensi pembawa, ekstensi relativistik, ekstensi surat internet multiguna, ekstensi surat internet multiguna aman, ekstensi tajuk, ekstensibilitas, hiperekstensi, hiperekstensi lutut, kilir ekstensi, latihan ekstensi, latihan kedang, lutut hiperekstensi, papan ekstensi, pola sinergi ekstensi, seliuh ekstensi, tajuk ekstensi, uji ekstensi, uji ekstensi lutut duduk, veterinawan ekstensi, wisata ekstensi
{
  "derived": [
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "terekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "cedera ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi alamat virtual"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi bahu"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi larik"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi nama berkas"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi pembawa"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi relativistik"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi surat internet multiguna"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi surat internet multiguna aman"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensi tajuk"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensibilitas"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "hiperekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "hiperekstensi lutut"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "kilir ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "latihan ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "latihan kedang"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "lutut hiperekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "papan ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "pola sinergi ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "seliuh ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "tajuk ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "uji ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "uji ekstensi lutut duduk"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "veterinawan ekstensi"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "wisata ekstensi"
    }
  ],
  "descendants": [
    {
      "depth": 1,
      "templates": [
        {
          "args": {
            "1": "ms",
            "2": "ekstensi",
            "bor": "1"
          },
          "expansion": "→ Malay: ekstensi",
          "name": "desc"
        }
      ],
      "text": "→ Malay: ekstensi"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "id",
        "2": "nl",
        "3": "extensie",
        "t": "extension"
      },
      "expansion": "Borrowed from Dutch extensie (“extension”)",
      "name": "bor+"
    },
    {
      "args": {
        "1": "id",
        "2": "fr",
        "3": "extension"
      },
      "expansion": "French extension",
      "name": "der"
    },
    {
      "args": {
        "1": "id",
        "2": "LL.",
        "3": "extensio"
      },
      "expansion": "Late Latin extensio",
      "name": "der"
    }
  ],
  "etymology_text": "Borrowed from Dutch extensie (“extension”), from French extension, from Late Latin extensio.",
  "forms": [
    {
      "form": "ekstensi-ekstensi",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "ekstensi (plural ekstensi-ekstensi)",
      "name": "id-noun"
    }
  ],
  "hyphenation": [
    "eks‧ten‧si"
  ],
  "lang": "Indonesian",
  "lang_code": "id",
  "pos": "noun",
  "related": [
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ekstensif"
    }
  ],
  "senses": [
    {
      "categories": [
        {
          "_dis": "25 21 4 12 11 18 9",
          "kind": "other",
          "name": "Indonesian entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "32 27 3 7 9 10 12",
          "kind": "other",
          "name": "Pages with 2 entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "34 30 2 7 7 8 12",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "extension:",
        "the act of extending; a stretching out; enlargement in length, breadth, or time; an increase"
      ],
      "id": "en-ekstensi-id-noun-4JbjlK9z",
      "links": [
        [
          "extension",
          "extension"
        ]
      ]
    },
    {
      "categories": [
        {
          "_dis": "25 21 4 12 11 18 9",
          "kind": "other",
          "name": "Indonesian entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "32 27 3 7 9 10 12",
          "kind": "other",
          "name": "Pages with 2 entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "34 30 2 7 7 8 12",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "extension:",
        "the state of being extended"
      ],
      "id": "en-ekstensi-id-noun-twW2F6jv",
      "links": [
        [
          "extension",
          "extension"
        ]
      ],
      "synonyms": [
        {
          "_dis1": "27 59 2 3 3 4 3",
          "sense": "act of extending, state of being extended",
          "word": "perpanjangan"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "id",
          "name": "Semantics",
          "orig": "id:Semantics",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "extension:",
        "capacity of a concept or general term to include a greater or smaller number of objects; — correlative of intension"
      ],
      "id": "en-ekstensi-id-noun-~3tJ7IT6",
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "semantics",
          "semantics"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(semantics) capacity of a concept or general term to include a greater or smaller number of objects; — correlative of intension"
      ],
      "topics": [
        "human-sciences",
        "linguistics",
        "sciences",
        "semantics"
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "id",
          "name": "Anatomy",
          "orig": "id:Anatomy",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "id",
          "name": "Sports",
          "orig": "id:Sports",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "25 21 4 12 11 18 9",
          "kind": "other",
          "name": "Indonesian entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "extension:",
        "a movement at a joint that increases the angle between the two ends of the joint; the opposite of flexion"
      ],
      "id": "en-ekstensi-id-noun-n77miBv0",
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "anatomy",
          "anatomy"
        ],
        [
          "sports",
          "sports"
        ],
        [
          "flexion",
          "flexion"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(anatomy, sports) a movement at a joint that increases the angle between the two ends of the joint; the opposite of flexion"
      ],
      "topics": [
        "anatomy",
        "hobbies",
        "lifestyle",
        "medicine",
        "sciences",
        "sports"
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "id",
          "name": "Telecommunications",
          "orig": "id:Telecommunications",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "25 21 4 12 11 18 9",
          "kind": "other",
          "name": "Indonesian entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "extension:",
        "a numerical code used to indicate a specific telephone in a telecommunication network"
      ],
      "id": "en-ekstensi-id-noun-KQ7IE052",
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "telecommunications",
          "telecommunications"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(telecommunications) a numerical code used to indicate a specific telephone in a telecommunication network"
      ],
      "synonyms": [
        {
          "_dis1": "6 6 6 6 59 12 6",
          "alt": "Kuala Lumpur Standard Malay",
          "sense": "telecommunication numerical code",
          "word": "sambungan"
        }
      ],
      "topics": [
        "communications",
        "electrical-engineering",
        "engineering",
        "natural-sciences",
        "physical-sciences",
        "telecommunications"
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "id",
          "name": "Computing",
          "orig": "id:Computing",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "25 21 4 12 11 18 9",
          "kind": "other",
          "name": "Indonesian entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "32 27 3 7 9 10 12",
          "kind": "other",
          "name": "Pages with 2 entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "extension:",
        "file extension"
      ],
      "id": "en-ekstensi-id-noun-2~EYA36c",
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "computing",
          "computing#Noun"
        ],
        [
          "file extension",
          "file extension"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(computing) file extension"
      ],
      "topics": [
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "id",
          "name": "Education",
          "orig": "id:Education",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "32 27 3 7 9 10 12",
          "kind": "other",
          "name": "Pages with 2 entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "34 30 2 7 7 8 12",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "extension:",
        "university programs that are targeted at the broader (usually adults) community whose participants are not full-time enrolled students"
      ],
      "id": "en-ekstensi-id-noun-sVgtLHHC",
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "education",
          "education"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(education) university programs that are targeted at the broader (usually adults) community whose participants are not full-time enrolled students"
      ],
      "topics": [
        "education"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ɛksˈtɛnsi/",
      "tags": [
        "Standard-Indonesian"
      ]
    },
    {
      "ipa": "[ɛksˈt̪en.si]",
      "tags": [
        "Standard-Indonesian"
      ]
    },
    {
      "rhymes": "-ɛnsi"
    }
  ],
  "wikipedia": [
    "id:ekstensi"
  ],
  "word": "ekstensi"
}
{
  "categories": [
    "Indonesian 3-syllable words",
    "Indonesian entries with incorrect language header",
    "Indonesian lemmas",
    "Indonesian nouns",
    "Indonesian terms borrowed from Dutch",
    "Indonesian terms derived from Dutch",
    "Indonesian terms derived from French",
    "Indonesian terms derived from Late Latin",
    "Indonesian terms with IPA pronunciation",
    "Pages with 2 entries",
    "Pages with entries",
    "Rhymes:Indonesian/ɛnsi",
    "Rhymes:Indonesian/ɛnsi/3 syllables"
  ],
  "derived": [
    {
      "word": "terekstensi"
    },
    {
      "word": "cedera ekstensi"
    },
    {
      "word": "ekstensi alamat virtual"
    },
    {
      "word": "ekstensi bahu"
    },
    {
      "word": "ekstensi larik"
    },
    {
      "word": "ekstensi nama berkas"
    },
    {
      "word": "ekstensi pembawa"
    },
    {
      "word": "ekstensi relativistik"
    },
    {
      "word": "ekstensi surat internet multiguna"
    },
    {
      "word": "ekstensi surat internet multiguna aman"
    },
    {
      "word": "ekstensi tajuk"
    },
    {
      "word": "ekstensibilitas"
    },
    {
      "word": "hiperekstensi"
    },
    {
      "word": "hiperekstensi lutut"
    },
    {
      "word": "kilir ekstensi"
    },
    {
      "word": "latihan ekstensi"
    },
    {
      "word": "latihan kedang"
    },
    {
      "word": "lutut hiperekstensi"
    },
    {
      "word": "papan ekstensi"
    },
    {
      "word": "pola sinergi ekstensi"
    },
    {
      "word": "seliuh ekstensi"
    },
    {
      "word": "tajuk ekstensi"
    },
    {
      "word": "uji ekstensi"
    },
    {
      "word": "uji ekstensi lutut duduk"
    },
    {
      "word": "veterinawan ekstensi"
    },
    {
      "word": "wisata ekstensi"
    }
  ],
  "descendants": [
    {
      "depth": 1,
      "templates": [
        {
          "args": {
            "1": "ms",
            "2": "ekstensi",
            "bor": "1"
          },
          "expansion": "→ Malay: ekstensi",
          "name": "desc"
        }
      ],
      "text": "→ Malay: ekstensi"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "id",
        "2": "nl",
        "3": "extensie",
        "t": "extension"
      },
      "expansion": "Borrowed from Dutch extensie (“extension”)",
      "name": "bor+"
    },
    {
      "args": {
        "1": "id",
        "2": "fr",
        "3": "extension"
      },
      "expansion": "French extension",
      "name": "der"
    },
    {
      "args": {
        "1": "id",
        "2": "LL.",
        "3": "extensio"
      },
      "expansion": "Late Latin extensio",
      "name": "der"
    }
  ],
  "etymology_text": "Borrowed from Dutch extensie (“extension”), from French extension, from Late Latin extensio.",
  "forms": [
    {
      "form": "ekstensi-ekstensi",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "ekstensi (plural ekstensi-ekstensi)",
      "name": "id-noun"
    }
  ],
  "hyphenation": [
    "eks‧ten‧si"
  ],
  "lang": "Indonesian",
  "lang_code": "id",
  "pos": "noun",
  "related": [
    {
      "word": "ekstensif"
    }
  ],
  "senses": [
    {
      "glosses": [
        "extension:",
        "the act of extending; a stretching out; enlargement in length, breadth, or time; an increase"
      ],
      "links": [
        [
          "extension",
          "extension"
        ]
      ]
    },
    {
      "glosses": [
        "extension:",
        "the state of being extended"
      ],
      "links": [
        [
          "extension",
          "extension"
        ]
      ]
    },
    {
      "categories": [
        "id:Semantics"
      ],
      "glosses": [
        "extension:",
        "capacity of a concept or general term to include a greater or smaller number of objects; — correlative of intension"
      ],
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "semantics",
          "semantics"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(semantics) capacity of a concept or general term to include a greater or smaller number of objects; — correlative of intension"
      ],
      "topics": [
        "human-sciences",
        "linguistics",
        "sciences",
        "semantics"
      ]
    },
    {
      "categories": [
        "id:Anatomy",
        "id:Sports"
      ],
      "glosses": [
        "extension:",
        "a movement at a joint that increases the angle between the two ends of the joint; the opposite of flexion"
      ],
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "anatomy",
          "anatomy"
        ],
        [
          "sports",
          "sports"
        ],
        [
          "flexion",
          "flexion"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(anatomy, sports) a movement at a joint that increases the angle between the two ends of the joint; the opposite of flexion"
      ],
      "topics": [
        "anatomy",
        "hobbies",
        "lifestyle",
        "medicine",
        "sciences",
        "sports"
      ]
    },
    {
      "categories": [
        "id:Telecommunications"
      ],
      "glosses": [
        "extension:",
        "a numerical code used to indicate a specific telephone in a telecommunication network"
      ],
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "telecommunications",
          "telecommunications"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(telecommunications) a numerical code used to indicate a specific telephone in a telecommunication network"
      ],
      "topics": [
        "communications",
        "electrical-engineering",
        "engineering",
        "natural-sciences",
        "physical-sciences",
        "telecommunications"
      ]
    },
    {
      "categories": [
        "id:Computing"
      ],
      "glosses": [
        "extension:",
        "file extension"
      ],
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "computing",
          "computing#Noun"
        ],
        [
          "file extension",
          "file extension"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(computing) file extension"
      ],
      "topics": [
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    },
    {
      "categories": [
        "id:Education"
      ],
      "glosses": [
        "extension:",
        "university programs that are targeted at the broader (usually adults) community whose participants are not full-time enrolled students"
      ],
      "links": [
        [
          "extension",
          "extension"
        ],
        [
          "education",
          "education"
        ]
      ],
      "raw_glosses": [
        "extension:",
        "(education) university programs that are targeted at the broader (usually adults) community whose participants are not full-time enrolled students"
      ],
      "topics": [
        "education"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ɛksˈtɛnsi/",
      "tags": [
        "Standard-Indonesian"
      ]
    },
    {
      "ipa": "[ɛksˈt̪en.si]",
      "tags": [
        "Standard-Indonesian"
      ]
    },
    {
      "rhymes": "-ɛnsi"
    }
  ],
  "synonyms": [
    {
      "sense": "act of extending, state of being extended",
      "word": "perpanjangan"
    },
    {
      "alt": "Kuala Lumpur Standard Malay",
      "sense": "telecommunication numerical code",
      "word": "sambungan"
    }
  ],
  "wikipedia": [
    "id:ekstensi"
  ],
  "word": "ekstensi"
}

Download raw JSONL data for ekstensi meaning in Indonesian (5.2kB)


This page is a part of the kaikki.org machine-readable Indonesian dictionary. This dictionary is based on structured data extracted on 2025-06-07 from the enwiktionary dump dated 2025-06-01 using wiktextract (92124b4 and f1c2b61). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.