Comment out poly-mode for now; messes with ESS noweb.