diff --git a/docs/changelog/0.13.0.md b/docs/changelog/0.13.0.md
index 2856b1302..eb7467630 100644
--- a/docs/changelog/0.13.0.md
+++ b/docs/changelog/0.13.0.md
@@ -9,10 +9,10 @@ description: Changes in Typst 0.13.0
 - There is now a distinction between [proper paragraphs]($par) and just
   inline-level content. This is important for future work on accessibility and
   means that [first line indent]($par.first-line-indent) can now be enabled for
-  all paragraph instead of just consecutive ones.
+  all paragraphs instead of just consecutive ones.
 - The [`outline`] has a better out-of-the-box look and is more customizable
 - The new [`curve`] function (that supersedes the `path` function) provides a
-  simpler and more flexible interface for creating Beziér curves
+  simpler and more flexible interface for creating Bézier curves
 - The `image` function now supports raw [pixel raster formats]($image.format)
   for generating images from within Typst
 - Functions that accept [file paths]($syntax/#paths) now also accept raw
@@ -23,7 +23,8 @@ description: Changes in Typst 0.13.0
   would be displayed in italics
 - You can now specify which charset should be [covered]($text.font) by which
   font family
-- The [`pdf.embed`] function lets you embed files into the exported PDF
+- The [`pdf.embed`] function lets you embed arbitrary files in the exported
+  PDF
 - HTML export is currently under active development. The feature is still _very_
   incomplete, but already available for experimentation behind a feature flag.
 
@@ -52,7 +53,7 @@ description: Changes in Typst 0.13.0
     for a grid-like look
   - Automatic indentation now also indents entries without a numbering
   - Titles wrapping over multiple lines now have hanging indent
-  - The page number won't appear alone on its own line number anymore
+  - The page number won't appear alone on its own line anymore
   - The link now spans the full entry instead of just the title and page number
   - The default spacing between outline leader dots was increased
   - The [`fill`]($outline.entry.fill) parameter was moved from `outline` to
@@ -102,7 +103,7 @@ description: Changes in Typst 0.13.0
 
 ## Scripting
 - Functions that accept [file paths]($syntax/#paths) now also accept raw
-  [bytes] instead
+  [bytes]
   - [`image`], [`cbor`], [`csv`], [`json`], [`toml`], [`xml`], and [`yaml`] now
     support a path string or bytes and their `.decode` variants are deprecated
   - [`plugin`], [`bibliography`], [`bibliography.style`], [`cite.style`],
@@ -121,14 +122,14 @@ description: Changes in Typst 0.13.0
     impure initialization in a way that doesn't break Typst's purity guarantees
 - The variable name bound by a bare import (no renaming, no import list) is now
   determined statically and dynamic imports without `{as}` renaming (e.g.
-  `{import "ot" + "her.typ}`) are a hard error **(Breaking change)**
+  `{import "ot" + "her.typ"}`) are a hard error **(Breaking change)**
 - Values of the [`arguments`] type can now be added with `+` and
   [joined]($scripting/#blocks) in curly-braced code blocks
 - Functions in an element function's scope can now be called with method syntax,
   bringing elements and types closer (in anticipation of a future full
   unification of the two). Currently, this is only useful for [`outline.entry`]
   as no other element function defines methods.
-- Added [`calc.norm`] function for computing Euclidean norms
+- Added [`calc.norm`] function
 - Added support for 32-bit floats in [`float.from-bytes`] and [`float.to-bytes`]
 - The [`decimal`] constructor now also accepts decimal values
 - Improved `repr` of [symbols]($symbol), [arguments], and [types]($type)
@@ -138,7 +139,7 @@ description: Changes in Typst 0.13.0
 ## Math
 - Fixed a bug where single letter strings in math (`[$"a"$]`) would be displayed
   in italics
-- Math function calls can now have hypheanted named arguments and support
+- Math function calls can now have hyphenated named arguments and support
   [argument spreading]($arguments/#spreading)
 - Better looking accents thanks to support for the `flac` (Flattened Accent
   Forms) and `dtls` (Dotless Forms) OpenType features
@@ -210,7 +211,7 @@ TODO (update after hayagriva bump)
 - A shebang `#!` at the very start of a file is now ignored
 
 ## PDF export
-- Added `pdf.embed` function for embedding files in the exported PDF
+- Added `pdf.embed` function for embedding arbitrary files in the exported PDF
 - Added support for PDF/A-3b export
 - The PDF timestamp will now contain the timezone by default
 
@@ -262,6 +263,9 @@ TODO (update after codex bump)
 - [`image.decode`], [`cbor.decode`], [`csv.decode`], [`json.decode`],
   [`toml.decode`], [`xml.decode`], [`yaml.decode`] in favor of the top-level
   functions directly accepting both paths and bytes
+- The `sect` symbol, its variants, and `integral.sect`
+- Fully removed type/str compatibility behaviour (e.g. `{int == "integer"}`)
+  which was temporarily introduced in Typst 0.8 **(Breaking change)**
 
 ## Development
 - The `typst::compile` function is now generic and can return either a