I made a Chrome extension that pins the leaderboard post to the top of the feed (it's collapsible don't worry), and I will release it and the userscript tomorrow.

I wrote this post because I was frustrated that tiptap kept screaming at me in console