Copy RedDot ID

For pages generated by the RedDot CMS, you need the page ID to edit it. Rather that go into the source all the time, this extracts the page ID and copys it into the clipboard. Just go to the page and press the extension, if it is a RedDot page it will copy it in the format you need for the editor (ID: xxx) so you can just paste it. Updated to manifest v3, in case this was still useful to anyone. Problems? Suggestion? https://github.com/roshinc/copy-reddot-id/issues