* Fixed: if only mines were left, minesweeper stopped with victory,
  which might confuse, and the Javascript detected it as loss.
* Revised minesweeper logging.
* Fixed: scrolling-into-view in Javascript demos.