Add comments on extend_re.pl