問題はではどのようにキャラ名とクラス名を得るかというところで、 write_element に &CharacterSet を渡すのが手っ取り早いか?
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.