Comment by frevib

These massive PR summaries. Is anyone really reading them?