python-prompt_toolkit aliases