On Tue, 19 Mar 2024, Qun-Ying wrote: > Currently fonts are put under category system, they mix with other > system tools. Would it be better to have a separate category (fonts) > for them? If we're voting, I vote for this.