Digital ocean uses defaultdb, Amazon, Google, Microsoft use postgres, Heroku uses random name.
We require the default db name because that is how we check the existence of the database given in the configuration file, and create the given database as needed.