Comments for #71417 by