There is no need to keep obsolete duplicate docs around. (cherry picked from commit ec1e8e7001)
ec1e8e7001