doc: Get rid of duplicate PREDEFINED.