compress logs

Signed-off-by: Nico Schottelius <nico@nico-notebook.schottelius.org>

doc/Background.tex

@@ -514,3 +514,4 @@ targets~\cite{networks:_tofin},
 ~\cite{networks:_arist_series}. In particular, we treat the NetFPGA as a
 P4 capable, four port 10 Gbit/s network switch that allows us to
 process packets at line speed.
+% ok

doc/Introduction.tex

@@ -33,6 +33,12 @@ Figure \ref{fig:riripv4rundown} contains summarised data from all RIRs
 and projects complete IPv4 addresses depletion by 2021.
 The LACNIC project even predicts complete exhaustion for 2020 as shown
 in figure \ref{fig:lacnicexhaust}.
+\begin{figure}[h]
+  \includegraphics[scale=0.5]{rir-ipv4-rundown}
+  \centering
+  \caption{RIR IPv4 rundown projection from~\cite{huston:_ipv4_addres_repor}}
+  \label{fig:riripv4rundown}
+\end{figure}
 \begin{figure}[h]
   \includegraphics[scale=0.7]{lacnicdepletion}
   \centering
@@ -40,35 +46,31 @@ in figure \ref{fig:lacnicexhaust}.
     ~\cite{lacnic:_ipv4_deplet_phases}}
   \label{fig:lacnicexhaust}
 \end{figure}
-\begin{figure}[h]
-  \includegraphics[scale=0.6]{rir-ipv4-rundown}
-  \centering
-  \caption{RIR IPv4 rundown projection from~\cite{huston:_ipv4_addres_repor}}
-  \label{fig:riripv4rundown}
-\end{figure}
+
 On the other hand, IPv6 adoption grows significantly, with at least
 three countries (India, US, Belgium) surpassing 50\%
 adoption~\cite{akamai:_ipv6_adopt_visual},
 \cite{vyncke:_ipv6_deploy_aggreg_status},
 \cite{cisco:_ipv6}. Traffic from Google users reaches almost 30\% as
 of 2019-08-08~\cite{google:_ipv6_googl}, see figure \ref{fig:googlev6}.
+
+We conclude that IPv6 is a technology strongly gaining importance.
+IPv4 depletion is estimated to be happening worldwide in the
+next years. Thus more devices will be using IPv6, while communication
+with legacy IPv4 devices still needs to be provided.
+% ok
+% ----------------------------------------------------------------------
+\section{\label{introduction:motivation}Motivation}
 \begin{figure}[h]
   \includegraphics[scale=0.2]{googlev6}
   \centering
   \caption{Google IPv6 Statistics from~\cite{google:_ipv6_googl}}
   \label{fig:googlev6}
 \end{figure}
-We conclude that IPv6 is a technology strongly gaining importance with
-the IPv4 depletion that is estimated to be worldwide happening in the
-next years. Thus more devices will be using IPv6, while communication
-to legacy IPv4 devices still needs to be provided.
-% ok
-% ----------------------------------------------------------------------
-\section{\label{introduction:motivation}Motivation}
 IPv6 nodes and IPv4 nodes cannot directly connect to each other,
 because the protocols are incompatible to each other.
 To allow communication between different protocol nodes,
-several transition mechanism have been
+several transition mechanisms have been
 proposed~\cite{wikipedia:_ipv6},~\cite{rfc4213}.
 \begin{figure}[h]
   \includegraphics[scale=0.4]{v6-v6-separated}