so i'm thinking it might be neat to have post notifications as a timeline option next to home, local and federated (along with pinned lists and hashtags… when i get to implement that) – thus removing the "posts" tab in notifications.
but then: "post notifications" is a weird name for a timeline, and "beitrags-benachrichtigungen" is just way too long. just "posts"/"beiträge"/… would be shorter, but even more confusing, right? but since there's an explanation anyway – maybe it's fine?