+ * Save index after previewing page edit, since even previewing can create
+ files in some situations, and this is appropriate in some cases, such as
+ the teximg plugin's error log file.
+ Such files will be automatically cleaned up at an appopriate later time.