/\*tek4014\*fontSmall:[ 	]*6x10/a\
\
! Debian package customizations follow.\
*backarrowKeyIsErase: true\
*ptyInitialErase: true
/!*allowWindowOps: false/a\
*allowWindowOps: true