Anthony

I haven't looked into any of these, no. Pushing to next next release

These were likely some user reports, so I don't have more information. I was just able to reproduce both though. I'll edit the description and add more details for reproducing...

@Blendify can you generate assets here too? The PR build would be the most helpful

Any reason to continue with this PR with search highlighting back on RTD?


> will that element then never be checked again for other new differences Yeah, this is certainly the big question for me. I suppose we'll find out! I think we'll...

Also, going to wait to merge until 1.0 is tagged.

Sounds like we have a plan then. It definitely does seem like a larger project to do this the way we want, we can address this in stages though. >...

I commented on #1122 -- changing the HTML structure of the navigation is tricky because we have customer and users restyling our theme and expecting the existing current HTML structure....

I'm fine sticking