"(FWIW I agree with you, less vehemently: attempting to copy from a
copy-prohibited document should warn about the prohibition *and let you
turn it off*, for good or for that one document. The current situation
isn't good enough. Prior art: browser cookie management options.)"
Yes, that would be a very sensible approach.
If the developers implement that, this article would have proven to be very useful ;-)