Make Ctrl+Shift+C perform copy instead of open developer tool
As of 2023-04-18. See the latest version.
