prompt-toolkit/python-prompt-toolkit ? reverse-engineered prompt