Please provide an example to rename a database with a pipe between mongodump and mongorestore.

The use of --nsFrom "sourceDatabase.*" --nsTo "destDatabase.* to copy all collections from sourceDatabase and rename them to destDatabase is not that easy to see in mongorestore. The --db option cannot be used, as the restore comes from a pipe, not a file.

Can an authoritative example on how to copy and rename a database with mongodump / mongorestore be added to:
https://docs.mongodb.com/manual/reference/program/mongodump/#examples