Clarify that synthesizing, while fine in the current system, is not supported