For UI consistency, tapping the Feed button after you’re already in the Feed View should scroll to the top of the feed. That’s what similar apps do (like tapping the News button in Apple News).
If you’re worried about accidental taps, pressing it a second time should take you back to where you were in the feed.
The other toolbar buttons should work similarly. If you’re in the Inbox and you tap a comment, tapping Inbox should take you back to the main inbox. Tapping Inbox when you’re already in the inbox should scroll to the top of the Inbox (if you’re not there already).
No worries, thanks for taking care of this and the explanation! :-) I certainly did not intend to complain in any way since I didn’t even have time to look into the GitHub PRs myself
You good :p Would appreciate feedback when feature makes it out in the wild 🤓