Remove old comment in docs that is no longer applicable. [ci skip]