Update github browser extensions: Add better-comments-for-github#4898

riccardoperra wants to merge 2 commits intogithub:maingithub/explore:mainfrom

riccardoperra:patch-1riccardoperra/explore:patch-1Copy head branch name to clipboard