<@U6YPB4SJX> when i saved `release.sh` (thanks to ...
# development
a
@average-vr-56795 when i saved
release.sh
(thanks to stu's comment just above), my editor converted some tabs in indentation of the body of a case statement starting on line 555 into spaces. the modified region which was not part of the intended edits to the file (the region where tabs were converted to space) is 10 lines and is easy to audit -- would that be acceptable to put in this pr (#5747), or is it pretty much always better to leave that sort of thing out (which is very easy for me to do, i can add a dir-local variable to stop all whitespace edits automatically)?