Try to hack around limitations in aasvg#1406

martinthomson wants to merge 2 commits intotlswg:maintlswg/tls13-spec:mainfrom

martinthomson:aasvg-haxxmartinthomson/tls13-spec:aasvg-haxxCopy head branch name to clipboard