diff --git a/mps/.github/workflows/build-and-test.yml b/mps/.github/workflows/build-and-test.yml
index ef8a53828db..9d0578ca66e 100644
--- a/mps/.github/workflows/build-and-test.yml
+++ b/mps/.github/workflows/build-and-test.yml
@@ -1,6 +1,8 @@
-# .github/workflows/build-and-test.yml
+# .github/workflows/build-and-test.yml -- GitHub CI build and test configuration for the MPS
 #
-# GitHub CI <https://docs.github.com/en/actions/automating-builds-and-tests/about-continuous-integration>
+# See design.mps.test.ci.github.  [FIXME: Not yet written! RB 2023-01-15]
+#
+# [GitHub CI] "About continuous integration"; <https://docs.github.com/en/actions/automating-builds-and-tests/about-continuous-integration>.
 #
 # Adapted from <https://github.com/actions/starter-workflows/blob/9f245d9aba830ad16a097a45c78331a05114d815/ci/c-cpp.yml>
 #
diff --git a/mps/.travis.yml b/mps/.travis.yml
index e123891ddc1..bdfc8721b52 100644
--- a/mps/.travis.yml
+++ b/mps/.travis.yml
@@ -1,4 +1,7 @@
 # .travis.yml -- Travis CI configuration for the MPS
+#
+# See design.mps.test.ci.travis.  [FIXME: Currently out of date! RB 2023-01-15]
+#
 # $Id$
 
 # Some branches don't need builds.  Add them here to avoid using build
diff --git a/mps/design/tests.txt b/mps/design/tests.txt
index 4613447bd4b..5e923adc757 100644
--- a/mps/design/tests.txt
+++ b/mps/design/tests.txt
@@ -278,6 +278,9 @@ Continuous integration
 
 _`.ci`: The MPS uses the following systems for continuous integration:
 
+.. FIXME: Update to be consistent with .travis.tml and
+   .github/workflows/build-and-test.yml.
+
 _`.ci.travis`: The commercial Travis_ continuous integration service
 runs ``./configure && make install && make test`` (which exercises the
 ``testci`` target for platforms lii6gc, lii6ll, xci6ll, and