I think it is good that one can see in the documentation when the page was last updated. We have a field for this in the xml.

However, the older an article gets, the more people documented on it and for many articles it looks like this now:
http://docs.openclonk.org/en/sdk/definition/cnat.html

In my opinion the names are unnecessary, it is unimportant for the reader of the documentation and the information if someone is interested is elsewhere (in the repository changelog). What is (more) important however is the last-edited-date. For me, the credits have been a factor to not put my name under the list when I updated an article ("Oh, such a small change is not worth any credit"). This is not good. Let's not keep the names below the documentation and just keep (and update!) the date field.

Do you agree?