upstream changes 2024-06-29

• clean-up of the type annotations
• some simplifications in the workings of seq
• <plain>:foo:</plain> no longer parses as an emoji

requested review from @tess, @luna, @Marie, and @Leah

approved this merge request

approved this merge request

mentioned in commit eb43eb02

merged