Opening a user’s profile in the comment section causes the jump button to stop working. There’s no problem if you’re at the top of a comment tree, and the only way to fix is to scroll up. It’s a pretty minor bug I thought I should point it out.