On Sat, 8 Sep 2018 13:49:15 -0600, graham > wrote:

>On 2018-09-08 1:26 PM, John Kuthe wrote:
>
>>
>> Even ShelDUM takes breaks from RFC!
>>
>> I know I do! Sometimes. ;-)
>>
>But not often enough!

Ok, you have to choose: Kuthe stops posting or Sheldon stops posting.