upgrade hilight, add automatic slide labeling, ast examples