Re-remove text removed in e0db6cf956e2270413143017baa7c1472b2e95f2 and reinstated in subsequent merge.