Run update-wikipedia-docs.py to update Wikipedia documents.
Improved savegame support, with more debugging to determine causes of errors. Add sweet-alert.js also.