Merge pull request #182 from w3c/alvestrand-patch-1

SHA: 09f618e
Reason: push, by alvestrand

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: alvestrand