Personal git mirror of Marc Lehmann's excellent terminal emulator