So for now I'm proposing we just have these as undocumented options.