Paul Eggert said:

> Given that hardly anybody uses pr any more, I'm surprised that the 
> Austin Group still cares about its options. It's an obsolete utility, 
> and ought to be deprecated.

True, but this option seems simple enough to implement.

How about the attached patch?

Collin