I encourage you to subscribe to the mailing list if you run into any problems:

fw-general-subscribe@lists.zend.com

Thanks very much for the help, akrabat. I think the docs for Zend_Controller got left out of the manual when it was built, so hopefully that will be taken care of as soon as Zend wakes up. :-)

(It's 7:45 AM there, and they've been working around the clock for the past few days.)