This should not be exposed to users before the merge of PR #8644. (PR #8738 was unintentionally merged before PR #8644.)