remove more old docs that are now transferred to javadocs