Add filename copy button to the Github PR review comments

What the title says

These are all versions of this script. Show only the versions where the code changed.

  • v2 2023-09-12
  • v1 2023-09-08