Hi, I've just installed Debian/Hurd, following the "easy guide"... everything seems to be working, except when I run something (e.g. ping) and I want to ^C it, it doesn't work? In fact all of the "usual" Linux control codes (^C, ^Z, ^S, ^Q, etc.) doesn't seem to work on the Hurd console. What do I press to interrupt a running process? Thanks a lot, Ian.