(not practical to disable JavaScript for the terminal server any longer) and added the NO_SPY_SOCKETS option.