Just a quick note to reassure readers that although JayDDee is a newbie user here
we are the same person. The new userid now matches my github userid.