Updating CodeIgniter (feature 3253).
Removing some expired comments about feature 3253.
Updating CodeIgniter (URL autodetection).