REDD Flags: What We Need to Know About the Options