Add basic comments for RedRec.