\\ {\tiny This document Licensed under GPL---see section~\ref{sec:license}}