Edits for these 4 docbook files.