Error
The Info node
does there exist a "faster" ndfa->dfa algorithm?
in Info file
/usr/share/info/flex.info.gz
does not exist.