Use @env for environment variables in texinfo manuals