mhuang001

I made a quick-and-dirty fix to add another prompt besides the current one. Have this in ``conf.py`` and you can have both prompts in effect equally: ``` copybutton_prompt_text = ">>>...