Document the change from #921 in the manual.