@debops This release brings a new Credits page in the documentation, among other things. Over 13 years of development, 300+ contributors, 14000+ git commits. The credits are generated on new tagged releases and included in the documentation and various packages for posterity.
I'd like to thank everyone involved in the project, especially the people that did improvements in documentation, and adding a credits page seemed a long overdue thing to do. I hope that you'll like it. :-)