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