Hvordan omdøber du en MongoDB-database?

Du kan gøre dette:

db.copyDatabase("db_to_rename","db_renamed","localhost")
use db_to_rename
db.dropDatabase();

Redaktionel bemærkning:dette er den samme tilgang, der bruges i selve spørgsmålet, men har vist sig nyttig for andre uanset.