anchor.diff:    hmenke = {
       name = "Henri Menke";
       email = "henri@henrimenke.de";
  +    matrix = "@hmenke:matrix.org";
       github = "hmenke";
       githubId = 1903556;
       keys = [{
  
positive.code:   };
    manveru = {
      email = "m.fellinger@gmail.com";
      github = "manveru";
      githubId = 3507;
      name = "Michael Fellinger";
    };
    maralorn = {
      email = "malte.brandy@maralorn.de";
      github = "maralorn";
      githubId = 1651325;
      name = "Malte Brandy";
  
negative.code:   };
    berberman = {
      email = "berberman@yandex.com";
      matrix = "@berberman:mozilla.org";
      github = "berberman";
      githubId = 26041945;
      name = "Potato Hatsue";
  