Time to redistrict again?

I was thinking about all the annexation that’s been happening on the north and north-western fringes of Peoria and it got me thinking, might it be time to redraw the council district boundaries again? Here’s the most recent map I can find:

If you click on the map, it will display a larger version from the City of Peoria website. Is the fifth district starting to look disproportionately large to anyone else? And this map doesn’t include the extra square-mile-plus that was just added. To the naked eye, it looks as if the fifth district is larger than the second and fourth districts combined.

As far as I can determine, the last time redistricting occured was in October of 2001. What’s the trigger for doing it again?