Simplified the inject_into_tty_buffer routine. Mostly, directly use
-rw-r--r-- 1061 Makefile
-rw-r--r-- 35147 gpl-3.0.txt
-rwxr-xr-x 2185 mkdeb.sh
-rw-r--r-- 2326 selector.1
-rw-r--r-- 14948 selector.cc