PHP autocomplete script, utilizing Redis.