Page editing: When page editing is finished, reset the progress bar

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Page editing: Don't fully rewrite the index when just a page has changed

Signed-off-by: Jerome Flesch <jflesch@gmail.com>