201_build-config.diff
-202_fix-menus.diff
-204_fix-bindings.diff
205_ion-lock.diff
-206_use-xterm.diff
+206_use-x-terminal-emulator.diff
209_use-etc-default.diff
210_use-cfg_debian_ext.diff
+211_add-debian-menu.diff
+212_suggest-ion3-doc.diff
+213_unkludge-docker.diff