Minor result error in binary strings documentation

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/12/functions-binarystring.html
Description:

On the page:

https://www.postgresql.org/docs/12/functions-binarystring.html

The result for decode('123\000456', 'escape') is incorrect, it should be:

# select decode('123\000456', 'escape');
decode
------------------
\x31323300343536