Quoting Gyan Doshi (2022-08-09 11:22:39) > I am a docs maintainer so I push these directly. All patches should go through the mailing list, so other people get the opportunity to comment on them. -- Anton Khirnov