Wow yet another approved merge request to a public GitHub-Repository and apparently I am now the 19th most active contributor to that repository. It was a …