Meta: Update select-dom#9256

fregante merged 11 commits into

mainrefined-github/refined-github:mainfrom

select-dom-10refined-github/refined-github:select-dom-10Copy head branch name to clipboard