Re: [dev-context] (fwd) Bug#409749: ppchtex broken