Remove deprecations

[T0mstone]

Now that we have a version out with these as deprecated, we can immediately remove them for the next version.

In fact, it's important to do this right away before we add new deprecations so we don't have to keep track of what was deprecated when.

As discussed on Discord, this should also not be merged before Typst 0.14 is out since there might be a need for further non-breaking codex bugfixes before then.

[knuesel]

I saw you sneaked in another little change there :)

[MDLC01]

Just so this is written here as well, let's wait until Typst 0.14 is released before merging this.

[MDLC01]

I just realized that, as per Laurenz's message on Discord, you should update the changelog accordingly.

[T0mstone]

Done, thanks for the reminder!

[MDLC01]

I'm not too sure on the exact phrasing, but it might be worthwhile to be explicit when variants of the mentioned symbols were removed as well.

[T0mstone]

Hmmm, not sure I like the wording there. I think we should stick to variants being of the symbol and not of each other (cf. the main.rs doc comment).

How about something like plus.circle.* instead? (also not perfect because of commutativity, but I couldn't think of anything better)

[MDLC01]

How about something like plus.circle.* instead? (also not perfect because of commutativity, but I couldn't think of anything better)

I think this is fine, although there is an ambiguity regarding whether plus.circle is included.

I don't think commutativity is an issue because order never matters for modifiers, so removing plus.circle.* also removes plus.*.circle.*.

[T0mstone]

there is an ambiguity regarding whether plus.circle is included.

Then what do you think about doubling it up, so "plus.circle, plus.circle.*"?

I don't think commutativity is an issue because order never matters for modifiers, so removing plus.circle.* also removes plus.*.circle.*.

Yeah, I was more thinking about users who may not know that and assume plus.big.circle to be exempt.

[MDLC01]

Then what do you think about doubling it up, so "plus.circle, plus.circle.*"?

I think that's fine

[T0mstone]

Done. For the case of a single variant, I mentioned it by name; Not sure if this is the best approach, esp. for times.circle, where it kind of sounds like there are other such variants that haven't been removed...

[T0mstone]

(Also I went ahead and grouped kai and Kai into a single bullet point because it felt right)

[MDLC01]

This needs an approval to be merged