search_extensions.py: ignore case, sort output