<div dir="ltr">I propose implementing str.rreplace. (It'll be to str.replace what str.rsplit is to str.split.)<div><br></div><div>What do you think? </div><div><br></div></div>