docs for #12873