The updated OOK doc pages get loaded as expected (as you can check).
I will have a look at the alternative setup for the "new", Gitlab-started projects as you suggested. I kinda wanted to avoid peppering the source tree with exogenous stuff like the .yml one.
However, from what I understand from the cl-couch, cmucl-site and maxima-site examples, it should be sufficient for me to add
pages:
stage: deploy
script: mv docs/html public
artifacts:
paths:
- public
tags:
- site-gen
only:
- master
to, say, the with-context top directory? Or could I add it to the docs subdirectory only (changing the script entry)?