Add filename copy button to the Github PR review comments

What the title says

Auteur
HappyViking
Installations quotidiennes
0
Installations (total)
2
Notes
0 0 0
Version
2
Créé
08/09/2023
Mis à jour
12/09/2023
Licence
MIT
S'applique à

I find it kind of annoying that when you're on the page for a Github PR that someone has reviewed, there isn't a copy button to copy the filenames of the files the person has commented on until you go to the "review" tab. This fixes that.