Re: [Python-ideas] History stepping in interactive session?