Hh actually I looked a bit more. It looks like this is just an internal variable and not user facing. In that case it's not as big of a deal. I thought at first this was something we expect users to set.