websockets: deprecate our wheel (#176)

* ci_scripts: deprecated: update comments

Make the explanation for the deprecated.txt file's purpose more
explicit.

* websockets: deprecate our wheel

websockets v16.1 has riscv64 wheels on PyPI: https://pypi.org/project/websockets/

Fixes: #49

---------

Signed-off-by: Trevor Gamblin <tgamblin@baylibre.com>
Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Trevor Gamblin <tgamblin@baylibre.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: github-actions[bot]

ci_scripts/deprecated.txt

@@ -3,9 +3,10 @@
 
 # SPDX-License-Identifier: Apache-2.0
 
-# List of deprecated packages.
-# When we deprecated a package, we add it here, to check if upstream is still
-# building it
+# List of deprecated packages. Deprecated packages are those which are now built
+for riscv64 platforms by the upstream projects, so we don't need to maintain a
+build workflow for it ourselves. Previously-built wheels should remain in the
+RISE package registry.
 
 aiohttp
 blake3
@@ -36,5 +37,6 @@ tokenizers
 uv
 video_reader-rs
 watchfiles
+websockets
 wrapt
 xxhash

ci_scripts/packages.txt

@@ -48,5 +48,4 @@ tlparse
 tornado
 ujson
 uvloop
-websockets
 z3-solver

docs/packages/websockets.yaml

@@ -1,3 +1,4 @@
+deprecated:
 package-name: websockets
 source-code: https://github.com/python-websockets/websockets
 license: BSD-3-Clause