BUG #13310: Please update docs of regexp_replace()

The following bug has been logged on the website:

Bug reference: 13310
Logged by: Thomas Güttler
Email address: guettli(dot)postgres(at)thomas-guettler(dot)de
PostgreSQL version: 9.4.1
Operating system: All
Description:

Please improve the example of regexp_replace():

I am missing a "group insert" in the example.

I would replace this example:

regexp_replace('Thomas', '.[mN]a.', 'M') ThM

With this one:

regexp_replace('fooooooobar', 'f(o*)bar', '\\1')

It can be any other example, but a "group insert" (\\1) would be very nice.

I talk about this:

Table 9-6. SQL String Functions and Operators

http://www.postgresql.org/docs/9.4/static/functions-string.html