Signed-off-by: Tal Einat <532281+taleinat@users.noreply.github.com>
The first followup will change shell indents to spaces. More are expected. Co-authored-by: Terry Jan Reedy <tjreedy@udel.edu>