Removed several unused type:ignore comments. by jonathanslenders · Pull Request #1674 · prompt-toolkit/python-prompt-toolkit