Missing space after username in PR conversation headers #3483

Today I saw that since a few days there's a space missing after the username in the PR conversation header.

It is likely due to this: https://github.com/sindresorhus/refined-github/blob/6bba1c5de1e8b609e010f252d72ff9c63af431a6/source/features/clean-conversation-headers.tsx#L46

which should be ' into '

Github refined v20.8.16 on Chrome