Remove now-meaningless section of documentation.