All MongoDB gdb commands seem to start with mongodb-, except for mongo-decoration, which doesn't, which is a minor inconvenience for the usage pattern of mongodb-<TAB> user.

This ticket is to rename that command to mongodb-decoration instead.