guidelines for POSIX sh vs bash
We should decide whether we want our shell scripts to be in POSIX sh or bash, and document this. See #28106 (moved) for some rationale for staying with POSIX sh. This should probably go in doc/HACKING/WritingTests.md.