< Generated from activity-log-spec.md by pandoc — edit that file, not this one. See README.md, "Rendering the docs (maintainers)". -->