Please update our subscription for HI-Multics. I think that we were routed via MIT-Multics. Our address should be "slug@HI-Multics".