Juri Leino

Let me know, if I can help.

@DrRataplan awesome news! :rocket: The dynamic module import was introduced in one of the last commits and there is a number of ways to tackle this. I would also be...

We (@dizzzz and me) had a first look at this issue at the last community meeting on 8th of April 2024. When stepping through the code the DTD is resolved...

Reopened until fixed in 6.x.x

@reinhapa I believe the changes you requested were addressed in the meantime

@reinhapa could you please re-review, I believe it's good to go

commutativeNegate could be renamed to converse (see https://en.m.wikipedia.org/wiki/Converse_relation and https://en.m.wikipedia.org/wiki/Inequality_(mathematics) ).

@reinhapa Is this ready to go?

Good point. Especially, since the project moves on towards embeddability. Youtube uses `?autoplay=1` to determine, if an embedded player should start on frame load.

@joewiz Is this a duplicate of #499 ?