Corrected according to the zini suggestions.
Filters: typos. Windows: widgets→name panels. I have no idea why we are inventin our own terms here.