Lars Eggert

I think we get hit by this, and a fix would be welcome. ``` Uncaught DOMException: Element.querySelector: '#section-1.1' is not a valid selector ```

Would like to +1 this PR. Fixing search is important to our use of list.js.

FYI, recently I made https://github.com/larseggert/i-d-toolchain, which tries to install "all the tools". A fresh image is built every six hours with the latest versions.

Wondering if I should scrap my image and instead use your (possibly extended) meta image...

I'd like the subtitle to move down if the image is too high vertically.

Thanks for the report! Most stacks haven't been sending `rpt` values other than `0` yet, only msquic recently started to do so. So that code is *very* lightly tested still,...

Also, do you have a way for me to reproduce this locally?

OK, I'll leave this open until your code is on draft -34 and you can re-test? I unfortunately don't have a test suite - quant will get archived when the...

@WesleyRosenblum have you had a chance to test this again?

Thanks! I'll take a look. (But quant has sort of outlived its usefulness as a test implementation now that v1 is done, so this is not high priority for me...