user manual: refine headers

docs/userguide/content/02-installation.tex

-\section{Installation \& Setup}
+\section{Installation}
+
+\subsection{Prerequisites}
 
 The prerequisites for running the \textit{\ac{FIJI}} fault injection toolflow are
 listed in Table~\ref{tab:prerequisites} alongside the version \ac{FIJI} was

docs/userguide/content/03-setup.tex

-\section{\acs{FIJI} Setup Tool}
+\section{Configuration}
 \label{sec:setup}
 
 The \textit{\ac{FIJI} Setup} Tool provides a graphical user interface to

docs/userguide/content/06-runtime.tex

-\section{Runtime Fault Injection Tool}
+\section{Runtime Fault Injection}
 \label{sec:runtime}
 
-\subsection{Command-line tool}
+\subsection{Command-line Tool}
 \label{sec:download-cli}
 
 The \textit{\ac{FIJI} Download} tool is a command-line tool which facilitates

docs/userguide/content/07-demo.tex

@@ -152,7 +152,7 @@ user or imported from Synplify.
 \textbf{Note}: The pin constraints in \textit{./new\_pins.qsf} have been already created for the
 final \ac{FIJI} design. In a ``real'' flow, these would be created ``on the fly'' by the
 user.
-\subsection{Runtime fault injection}
+\subsection{Runtime Fault Injection}
 
 \begin{enumerate}
     \item Download the FPGA bitstream via Quartus Downloader