maintainers: change baduhai's name

    email = "baduhai@pm.me";

    github = "baduhai";

    githubId = 31864305;

    name = "William";

    name = "William Hai";

  };

  baitinq = {

    email = "manuelpalenzuelamerino@gmail.com";