Only a single file was changed: wp-content/plugins/ajax-search-pro/includes/classes/etc/indextable.class.php
..and the index table was recreated using the “Create new index” button.
I think I can keep this change in the upcoming release, so you don’t have to worry about it.
