fix: Remove broken links from the reference manual

Author: cpitclaudel

docs/DafnyRef/Attributes.md

@@ -349,7 +349,7 @@ to be executed at runtime in order to test that the program is working as intend
 There are two different ways to dynamically test functionality in a test:
 
 1. A test can optionally return a single value to indicate success or failure.
-   If it does, this must be a [failure-compatible type](#1971-failure-compatible-types)
+   If it does, this must be a _failure-compatible_ type
    just as the [update-with-failure statement](#sec-update-failure) requires. That is,
    the returned type must define a `IsFailure()` function method. If `IsFailure()`
    evaluates to `true` on the return value, the test will be marked a failure, and this

docs/DafnyRef/UserGuide.md

@@ -739,7 +739,7 @@ There are many great options that control various aspects of verifying dafny pro
 - Control of output: [`/dprint`](#sec-controlling-output), [`/rprint`](#sec-controlling-output), `/stats`, [`/compileVerbose`](#sec-controlling-compilation)
 - Whether to print warnings: `/proverWarnings`
 - Control of time: `/timeLimit`
-- Control of resources: `/rLimit` and [`{:rlimit}`](#sec-rlimit)
+- Control of resources: `/rLimit` and `{:rlimit}`
 - Control of the prover used: `/prover`
 - Control of how many times to _unroll_ functions: [`{:fuel}`](#sec-fuel)