Festival documentation, in (text)info, html, dvi and ps formats