[HECnet] Re: TOPS-20 on HECnet?