>On Tue, 2017-04-11 at 11:16 +0900, Cohen Malcolm wrote: >> No one has proposed deleting it. > >Dan proposed putting it in the PAUSE basket. PAUSE has been deleted. Right you are then, you've convinced me it ought to be deleted. Cheers, -- .............Malcolm Cohen, NAG Oxford/Tokyo.