[wip] Whoops, the MongoDB urls *do* differ.

I ran a script to check the contents of the secrets file(s) before and after #794. This PR touches up the discrepancies it found.