While in ferrocene/ci/configure.sh we have a list of all the configuration flags we're customizing, we don't have any documentation on why the default values for the ones we aren't changing are kept the same.