The manual begins with installation, system requirements and then a brief troubleshooting guide.
Then there are the main game menu options that include a sound option to turn off voice comments.
But I could not find any option on turning off the logo Binks. It must be done manually by editing the config.div file.
I also raised this point before but I got no answer, so I hacked my way through the executable to know my options and I found what I was looking for.
<img src="/ubbthreads/images/graemlins/wave.gif" alt="" />