Redirection Plugin

In reference to this question:
I would like to make my redirections’ source url (all of them) case insensitive.
Is there a way to do this within the current version of the plugin?
And if not, could you please point out where in the files should I add strtolower() in order to have all redirections case insensitive?
Thank you!
http://wordpress.org/extend/plugins/redirection/
———-
Here is how I did it: (you ahve to make this change everytime you update, hopefull the developer will fix it)

In this file:
wp-content/plugins/redirection/models/redirect.php

Change this:
function matches( $url ) {
$this->url = str_replace( ‘ ‘, ‘%20’, $this->url );
$matches = false;

To this:
function matches( $url ) {
$this->url = str_replace( ‘ ‘, ‘%20’, strtolower($this->url) );
$matches = false;
$url = strtolower($url);

———-
If you are using regex then you may want to expand upon my code if it breaks any regex redirects.
Lee