Comment 2 for bug 1885767

As a data point, I spot-checked a few of our customers that have the checkbox enabled and found that for one of them, 6.6% of their search results retrievals used that option, while another used it 1.4% of the time. So, while it's not commonly used, it may be serving a purpose. Of course, the way that the pandemic may be changing people's preferred and available formats is a confounding factor.

Another factor: since we're talking about the Angular catalog, we've now entered a world where we don't necessarily need to optimize for patron preferences but should optimize for staff use cases.