◐ Shell
clean mode source ↗

Message 267683 - Python tracker

Terry, after the discussion I don't have a strong opinion one way or the other.  It seems that current X11 users expect the replace behavior, so option 4 seems fine to me.