This should be helpful in cases if somebody wants to add such button in GitHub md file/comment or in forum post, where custom JS is not allowed.