Not obliged to do it now, but we can alias highlight to highlight2latex if texenv is True. What do you think ?