Comment by tzs

> [...] for a few publicly funded PDFs is a bit drastic.

It was 4.8 million PDFs, which I think is a bit more than "a few".