[HECnet] Hooking up TOPS-20 to HECnet?