I notice that SEMI comes with a bunch of documentation in .texi format, but no info files are generated. Is that intentional?