cmd: Mention that the % must be doubled for FOR variables in batch files.