Following 洪 民憙 (Hong Minhee) :nonbinary:hollo.social/2026년 10월 30일 금요일The pull request is merged now: https://w3id.org/fep/f799.
