From: Robert Pluim <rpluim@gmail.com>
   Date: Tue, 31 Jan 2023 10:10:38 +0100

   >>>>> On Mon, 30 Jan 2023 18:38:46 -0800, Bob Rogers <rogers@rgrjr.com> said:

       Bob>    From: Bob Rogers <rogers@rgrjr.com>
       Bob>    Date: Mon, 30 Jan 2023 13:05:42 -0800

       Bob> Oops; try this instead (forgot the NEWS item).

       Bob> 					-- Bob

   3 nits below

   . . .

   Robert
   -- 

All good nits.

					-- Bob