--- /dev/null
+[[!comment format=mdwn
+ username="athas@60e56fd42a78bbbce444d175865ce4d66ba1a779"
+ nickname="athas"
+ avatar="http://cdn.libravatar.org/avatar/f6ddda1fabf459f90ca590f9499033c4"
+ subject="Update"
+ date="2021-10-15T16:37:34Z"
+ content="""
+Ignore the remark about different behaviour on the same machine; I was looking at the wrong thing.
+
+It does appear that GitHub Actions does not correctly fetch the `annex` directory for submodules, which must be the source of the error.
+"""]]