Documentation for #3088