1/\*tek4014\*fontSmall:[ 	]*6x10/a\
2\
3! Debian package customizations follow.\
4*backarrowKeyIsErase: true\
5*ptyInitialErase: true
6/!*allowWindowOps: false/a\
7*allowWindowOps: true
8