Only recommend inlining annotations for users, and don't mention tools

A separate issue has been opened for what tools should do when no annoation is given: #2942

chapters/functions.tex

@@ -1625,7 +1625,8 @@ \section{Declaring Inverses of Functions}\label{declaring-inverses-of-functions}
 Tools are not expected to verify the bijectiveness requirement, meaning that it is the user's responsibility to ensure that this requirement is fulfilled, and that tools can rely on the requirement as an assumption for symbolic manipulations when an inverse function is provided.
 
 There is no guarantee that a provided inverse will be used, and no rule for at which stage of symbolic processing it could be applied.
-Inlining a function means that the possibility to apply provided inverses is lost, so choosing the right variant of the function inlining alternatives can be important when inverse functions are provided.
+Inlining a function means that the possibility to apply provided inverses is lost.
+Hence, the recommended inlining annotations -- if any -- for use together with the \lstinline!inverse!-annotation is either \lstinline!Inline = false! or \lstinline!LateInline = true!.
 
 \begin{example}
 If an inverse is provided, but the injectiveness part of the bijectiveness requirement is not fulfilled, this may introduce additional ambiguity to the solution of equations with multiple solutions.