Comment by ReleaseCandidat

There have been "813 pull requests merged" in the 6 months between 12.2022 and 06.2023? Yes, there is more than one maintainer and many of these weren't "code changes", but nevertheless: almost 4.5 _successfull_ PRs every day?!