Update content of redefining_built-in.rst.