206_translate-docs.diff
201_make-more-docs.diff
202_online-help.diff
207_slant-shade-filled.diff
301_fix-install-dirs.diff
302_rename-binaries.diff
303_show-debian-version-number.diff
304_combine-binaries.diff
