{ web, ... } @ args:

(web.overrideAttrs ({ postPatch ? "", ... }: {
  postPatch = postPatch + ''
    substituteInPlace mailman_web/urls.py --replace "'archives/" "'hyperkitty/"
  '';
})).override (builtins.removeAttrs args [ "web" ])