11b1ebd676
They were dropped in an earlier replace by mistake; no editorial intent. Co-authored-by: Cursor <cursoragent@cursor.com>