Hacker News Reader

Couldn't you just switch shell in the (presumably) rare case when you want to run a bash shell script?

No need, just run bash with the script: bash script-name. Or better yet, start the script with #!/bin/bash