Added sage-shell:completion-ignore-case.