Merge pull request #3024 from w3c/re-write-scr37-as-html-technique

Merge pull request #3024 from w3c/re-write-scr37-as-html-technique #517