doc: update TODOs, general housekeeping

2026-09-19 21:36:31 -07:00
parent b064948d24
commit 741709623b
4 changed files with 21 additions and 9 deletions
--- a/ops/devcontainer/start.sh
+++ b/ops/devcontainer/start.sh
@@ -10,4 +10,5 @@ sudo docker run --rm -it \
    -v /memory:/memory \
    --workdir /code \
    --net host \
+    --name gas \
    gas