docs mention for #12188