Yes, this is a known issue that stems from the fact that 訁 is not in KANJIDICT. It’s unclear why. However, there is an entry in https://kanji.jitenon.jp/kanji... so when Michael gets out of the hospital it shouldn’t be too hard to convince him to add it.
Not sure how useful it'll be, but it's in there now! Not sure if searches for it will come up, as the search indexes update periodically, but a direct search for that character will bring it up.
