title: How can I edit a string that was printed to stdout?
body: <p>How can I edit a string that I just printed? For example, for a countdown counter (First prints 30, then changes it to 29 and so on)</p>
  
  <p>Thanks.</p>