Add filename copy button to the Github PR review comments

What the title says

Voici les versions de ce script où le code a été modifié. Voir toutes les versions.

  • v2 12/09/2023
  • v1 08/09/2023