[fw-general] Redundant include paths in Zend_Tool-generated projects?

[Ryan Lange]

When you create a project with Zend_Tool, it appears to add library/ to the
include path twice; once in application/configs/application.ini and again in
public/index.php.

==========
application/configs/application.ini
==========
includePaths[] = APPLICATION_PATH "/../library"


==========
public/index.php
==========
set_include_path( implode( PATH_SEPARATOR, array(
    realpath( APPLICATION_PATH . '/../library' ),
    get_include_path(),
) ) );


Am I correct in assuming that this is simply redundant?