<sect2>
<title>Official Download Location</title>
<literallayout>Flex (&flex-version;):
<ulink url="ftp://ftp.gnu.org/non-gnu/flex/"/></literallayout>
</sect2>