PR feedback
PR feedback

Let .bat files default to auto, because we anticipate adding `run.bat`
and similar to support Windows (not solely in Git Bash) someday.

candid82/joker,candid82/joker,candid82/joker