Expected Clipboard Copy Behavior

An internal user of one of my company’s docs has flagged that they are not able to copy content from the companywide doc into their clipboard. When they try to select and copy content, they get a message saying “Copy has been disabled by the doc owner.” This user has Edit permissions, but the page is set to Interact only and has Edit page text turned off.

I have the “Allow anyone to copy this doc.” setting turned off for each companywide doc, but based on Coda’s guidance pages that impacts copying whole pages/docs. The guidance pages don’t seem to discuss this setting impacting ability to copy content. Does this setting also impact the ability to copy locked content to the clipboard or is this a bug?

I am pretty sure it has always been like this, and I don’t think it is a bug. Maybe not desirable, but that is a differt thing.