Bug fixes for python cell input indentation handling, killing terminals, and limiting new terminal creation
Docs update