anchor.diff:      githubId = 7537109;
       name = "Michael Weiss";
       keys = [
  -      { longkeyid = "ed25519/0x130826A6C2A389FD"; # Git only
  +      {
  +        longkeyid = "ed25519/0x130826A6C2A389FD"; # Git only
           fingerprint = "86A7 4A55 07D0 58D1 322E  37FD 1308 26A6 C2A3 89FD";
         }
  -      { longkeyid = "rsa3072/0xBCA9943DD1DF4C04"; # Email, etc.
  +      {
  +        longkeyid = "rsa3072/0xBCA9943DD1DF4C04"; # Email, etc.
           fingerprint = "AF85 991C C950 49A2 4205  1933 BCA9 943D D1DF 4C04";
         }
       ];
  
positive.code:         fingerprint = "AAAA BBBB CCCC DDDD EEEE  FFFF 0000 1111 2222 3333";
        }];
      };
  
    where
  
    - `handle` is the handle you are going to use in nixpkgs expressions,
    - `name` is your, preferably real, name,
    - `email` is your maintainer email address, and
    - `github` is your GitHub handle (as it appears in the URL of your profile page, `https://github.com/<userhandle>`),
    - `githubId` is your GitHub user ID, which can be found at `https://api.github.com/users/<userhandle>`,
    - `keys` is a list of your PGP/GPG key IDs and fingerprints.
  
    `handle == github` is strongly preferred whenever `github` is an acceptable attribute name and is short and convenient.
  
    Add PGP/GPG keys only if you actually use them to sign commits and/or mail.
  
    To get the required PGP/GPG values for a key run
    ```shell
    gpg --keyid-format 0xlong --fingerprint <email> | head -n 2
    ```
  
    !!! Note that PGP/GPG values stored here are for informational purposes only, don't use this file as a source of truth.
  
    More fields may be added in the future.
  
    Please keep the list alphabetically sorted.
    See `./scripts/check-maintainer-github-handles.sh` for an example on how to work with this data.
    */
  {
    "0x4A6F" = {
      email = "0x4A6F@shackspace.de";
  
negative.code:     name = "Didier J. Devroye";
    };
    devhell = {
      email = ''"^"@regexmail.net'';
      github = "devhell";
      githubId = 896182;
      name = "devhell";
  