Why is it emphasized in the docs that dev-config.edn should not be checked into the source repo? Since it’s a local db anyway, what is the issue?