Stupid question: how do you send a command requiring pressing of function
keys to server using remote console?