On Sat, Jan 21, 2017 at 8:52 PM, Eli Zaretskii <eliz@gnu.org> wrote:

> but please wait for a few days to give MinGW64 users a
> chance to comment on this.

One question for them, then. Could it be that I have mingw(32|64).exe
instead of mingw(32|64)_shell.bat because I followed the advice at
http://msys2.github.io/ and did a post-installation update with

  pacman -Sy pacman
  pacman -Syu
  pacman -Su

? If so, it's this something we should recommend in nt/INSTALL.W64?