I recently changed the username, so this reflects that change to make sure people find me. For confirmation, check that the GitHub ID is still 3098430 for my new username using the GitHub API: https://api.github.com/users/edibopp
As requested by geistesk here: https://github.com/NixOS/nixpkgs/pull/87803#issuecomment-628711513
Dropped the patch, as it is included in the point release. Switched the hash representation to regular base32.
Eduard Bopp