debian/gigi.1 debian/gigi.properties.5