Doc edit: don't update the document id if the date hasn't been changed

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Doc edit: Implements extra keywords support

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