Page editing: Refresh the doc list at the end only if the modified page was the first of the document

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