<div dir="ltr"><div style="font-size:small" class="gmail_default">Andrea, checked into GIT.  That is a "cute" mirror.png image! It reads good for me and I only made 1 minor change changing "i.e." to "that is" -- I always worry about users who may be confused by the i.e. if translating from english.<br></div><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
I append manual plugins.tex, image and mirror.txt, for those who want<br>
to read the description but don't have latex. Please propose<br>
corrections and improvements, thank you.<br>
</blockquote></div></div>