Als ik "lettertypebeheer" opstart, merk ik dat er een hele resem dubbele en zelfs drievoudige lettertypes verschijnen. In bijlage een voorbeeldje.
1 - heeft het zin / is het nodig om die dubbele lettertypes op te ruimen?
2 - welke verwijder ik dan best: die met X11 ervoor of die in de map type?
3 - bestaat er een systeem om al die dubbels er in één ruk uit te gooien?
Mijn 4e vraag, nl. de zin van het leven, laat ik hier voor wat ze is, want hoort niet thuis op dit forum, vermoed ik (
)
Ter info: ik draai Kubuntu 25.04
