I just tried it and they were absolutely right, so `#!/usr/bin/env bash` is definitely more portable in that it consistently works.