Editorial: Fix description of `[[ErrorData]]`#36

Draft

ExE-Boss wants to merge 2 commits intotc39:mainfrom

ExE-Boss:editorial/properties-of-error-instances/fix-errordata

Commits on Feb 17, 2021

Editorial: Fix description of `[[ErrorData]]`
ExE-Boss
committed

Commits on Mar 24, 2025

Merge remote-tracking branch 'upstream/main' into editorial/properties-of-error-instances/fix-errordata
ExE-Boss
committed