[vertaling] extensie of uitbreiding

[Martijn Ras]

H die Reinout,

Dat is een oude schermafdruk. Eerst was er slechts een element in dat 
venster voor "Thema's en Uitbreidingen", later is dat in twee 
afzonderlijke elementen gesplits maar had ik daar per abuis "Thema's en 
Uitbreidingen" en "Extensies" van gemaakt. Dat heb ik uiteraard verbeter 
in een voor Thema's en een voor Uitbreidingen, inmiddels zijn die 
elementen uit dat venster in een menu geplaatst en heten nog immer zo.

Mazzel,

Martijn.