Laurenz

I like this in general. I still have this small feeling that we should realize this with a more general solution, but given that it solves a real problem and...

Thank you!

I think the proposed syntax feels a bit ad-hoc and the solution in the last comment is only one char longer, so I'll close this.

> My code assumes that every link with a Location also has a label, is that correct? I don't think that assumption holds. You can query for all headings and...

@Heinenen You can switch pdf-writer to a git dependency on typst/pdf-writer with a revision in this PR. Edit: Actually, this might not work without a patch because svg2pdf also depends...

Since https://github.com/typst/pdf-writer/pull/25 will take longer than anticipated, we shouldn't block on it. Once this PR is ready implementation-wise, we can move svg2pdf and typst to a git-dependency on pdf-writer (and...

> What still irritates me a bit is the UI. I'm still not a fan of labels creating named destinations and if we want some more explicit way to create...

> Another point that came out of this discussion, is that using labels for named destinations comes with a possible drawback: ... If we only auto-generated destinations from labels for...

I'm in favor of option 2, at least for now. If we decide to enforce stricter label uniqueness rules in the future, I'd like to do that separately and more...

I just noticed that this is not actually blocked on pdf-writer changes. Using `indirect().start::()` is also possible from outside pdf-writer. We can then update that call later when updating pdf-writer.