NIP37 would resolve this. Most quick edits of typos won't be substantive and would already be top-of-feed, so you're right in both cases.