Now, back here, I deploy and everything is OK:
when I later push the update button (the single-arrow blue circle "Update 'jsf-fun' application (Command-F10)"), I see:
In spite of the fact that "Show dialog" was unchecked earlier. Selecting "No" here does nothing. Selecting "Yes" redeploys and changes my configuration back to "Redeploy":
Is this a bug? Am I doing something wrong here?