Update the version:  Adding a new reduced-game-viewer widget. Several
small fixes.