Fix links.

Author: smillst

docs/manual/faq.tex

@@ -1363,7 +1363,7 @@
 \item
   Run google-java-format via
   \ahref{https://github.com/diffplug/spotless}{Spotless} and use the
-  \ahref{https://github.com/diffplug/spotless/tree/main/plugin-gradle#formatannotations}{\<formatAnnotations>}
+  \ahref{https://github.com/diffplug/spotless/tree/main/plugin-gradle#formatAnnotations}{\<formatAnnotations>}
   step to correct the formatting of type annotations.
 \item
   Run google-java-format via \ahref{https://github.com/plume-lib/run-google-java-format}{run-google-java-format}

docs/manual/resource-leak-checker.tex

@@ -56,7 +56,7 @@
 \item[\<-ApermitInitializationLeak>]
   See Section~\ref{resource-leak-field-initialization}.
 \item[\<-AenableReturnsReceiverForRlc>]
-  Enables the Returns Receiver Checker (Section~\ref{returns-reciever-checker})
+  Enables the Returns Receiver Checker (Section~\ref{returns-receiver-checker})
   when running this checker. By default, the Returns Receiver checker is
   disabled when running the Called Methods Checker as part of the RLC,
   because it has a significant runtime cost but provides little benefit in the common case,