This commit adds contributors that didn't add themselves to the release notes by extracting their GitHub username (or, if available their name and surname from GitHub) from the git log manually.