Deleted user

> we would change the interface to require you to provide an initial state everywhere If one defines an `initialState` generator then why would you want to use a specific...

But then, it seems to me I could rather express that directly in the DL formula and have a special action initialising the system with some specific values.

Hence why I am starting to have doubts about the value of this change. WDYT @bwbush?

Would you need to construct and pass explicitly `state` to `init`? Or is `init` not a combinator from the DL language? How would that look like? I think we came...

I agree the pattern of having an `Init :: ...` specific action appeared elsewhere. Actually, I myself have used it in 100% of the q-d models I have written :)...

Fair enough. But while argument 2. is true, it seems to me most (all?) interesting generators and preconditions would require pattern matching or checking the state anyway. Removing one check...

that would be really good because i want to change colors

It seems to be that YouTube Plus now has SponsorBlock built-in and it conflicts with the separate SponsorBlock extension as far as I can tell.

> Even after disabling and trying to remove iSponsorblock in settings, the popup still appears I think the original SponsorBlock tweak needs to be removed in order to not let...