Thread:RR3-AG/@comment-30967537-20170906135459/@comment-30967537-20170906150657

Actually, when doing multiple edits which take a while, I think it's sensible and safer to add the header, then everybody else knows the page is being edited and (hopefully!) won't try and edit it at the same time.

All done now.