Thanks for the heads-up. I pushed a fix so the Copy button pulls from the data model (not DOM) and added a clipboard fallback for stricter browsers. Can you try a hard refresh and see if it still truncates?
If it still reproduces for them, we’ll grab their FF version and distro, but this should squash the “grep ” symptom.
If it still reproduces for them, we’ll grab their FF version and distro, but this should squash the “grep ” symptom.