Add docs for #5035