[w3c/editing] Mark the old EditContext spec as archived (PR #421)

There are currently two EditContext spec documents:
- An older one in this repo, hosted at https://w3c.github.io/editing/docs/EditContext/
- A newer one in w3c/edit-context, hosted at https://w3c.github.io/edit-context/

It's potentially confusing to have both documents. Mark the one in this repo as archived so that people know which one to look at. This will appear in the "status of this document" section:

![image](https://user-images.githubusercontent.com/1688716/227651718-016e9bb4-9f06-48d5-8b35-3e02b6571689.png)

You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/editing/pull/421

-- Commit Summary --

  * Mark the old EditContext spec as archived

-- File Changes --

    M docs/EditContext/index.html (3)

-- Patch Links --

https://github.com/w3c/editing/pull/421.patch
https://github.com/w3c/editing/pull/421.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/pull/421
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/editing/pull/421@github.com>