Quite a few broken links in the docs

[smheidrich]

While reading the docs, I noticed quite a few links are broken (lead to 404 pages), so here is the output of https://www.deadlinkchecker.com run on https://quint-lang.org:

Error	URL	Anchor Text	Linked From
404 Not Found	https://github.com/informalsystems/quint/blob/main/quint/src/quintIr.ts	Quint IR (opens in a new tab)	https://quint-lang.org/docs/quint
404 Not Found	https://quint-lang.org/docs/adr002-errors.md	ADR002	https://quint-lang.org/docs/quint
404 Not Found	https://apalache.informal.systems/docs/adr/015adr-trace.html	Informal Trace Format (opens in a new tab)	https://quint-lang.org/docs/quint
404 Not Found	https://quint-lang.org/quint/README	compatible installation of OpenJDK	https://quint-lang.org/docs/quint
404 Not Found	https://apalache.informal.systems/docs/apalache/installation/jvm.html	Apalache (opens in a new tab)	https://quint-lang.org/docs/quint
404 Not Found	https://apalache.informal.systems/docs/apalache/config.html?highlight=configuration	Apalache configuration (opens in a new tab)	https://quint-lang.org/docs/quint
404 Not Found	https://quint-lang.org/docs/kettle.qnt	kettle.qnt	https://quint-lang.org/docs/repl
404 Not Found	https://quint-lang.org/docs/lessons/hello.qnt	hello.qnt	https://quint-lang.org/docs/lessons/hello
404 Not Found	https://quint-lang.org/docs/lessons/booleans.qnt	booleans.qnt	https://quint-lang.org/docs/lessons/booleans
404 Not Found	https://github.com/informalsystems/quint/blob/main/doc/lang.md	Type System 1.2 (opens in a new tab)	https://quint-lang.org/docs/lessons/coin
404 Not Found	https://github.com/informalsystems/quint/blob/main/doc/builtin.md	oneOf (opens in a new tab)	https://quint-lang.org/docs/lessons/coin
404 Not Found	https://apalache.informal.systems/docs/adr/002adr-types.html	Apalache's type system (opens in a new tab)	https://quint-lang.org/docs/architecture-decision-records/adr005-type-system
404 Not Found	https://apalache.informal.systems/docs/adr/014adr-precise-records.html	extension for precise records (opens in a new tab)	https://quint-lang.org/docs/architecture-decision-records/adr005-type-system
404 Not Found	https://github.com/informalsystems/quint/blob/main/quint/src/flattening.ts	addNamespaceToDef (opens in a new tab)	https://quint-lang.org/docs/architecture-decision-records/adr007-flattening
404 Not Found	https://github.com/informalsystems/quint/tree/main/doc/adr005-type-system.md	current type system supported by quint (opens in a new tab)	https://quint-lang.org/docs/rfcs/rfc001-sum-types
404 Not Found	https://github.com/informalsystems/quint/blob/545b14fb8c19ac71d8f08fb8500ce9cc3cabf678/quint/src/types/specialConstraints.ts	implements (opens in a new tab)	https://quint-lang.org/docs/rfcs/rfc001-sum-types
404 Not Found	https://github.com/informalsystems/quint/blob/main/docs/repl/kettle.qnt	kettle (opens in a new tab)	https://quint-lang.org/docs/stories/story008-repl-traces
404 Not Found	https://apalache.informal.systems/docs/adr/005adr-json.html	Apalache JSON (opens in a new tab)	https://quint-lang.org/docs/architecture-decision-records/adr001-transpiler-architecture

[bugarela]

Oh thanks! I didn't know it was so simple to find all broken links, this is very useful.