Ideally, users would be able to express relative links not just via #link but also via Typst's @-references. For example:
// intro.typ
# Introduction <intro>
This is an introduction.
// conclusion.typ
As described in @intro, we have shown...
Today, the user would manually substitute something like #link("./intro.typ#intro", [Section 1]).