Use macroexp-progn instead of raw progn forms
Update Texinfo manual