29 Aug
2023
29 Aug
'23
4:36 p.m.
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. I append manual plugins.tex, image and mirror.txt, for those who want
to read the description but don't have latex. Please propose corrections and improvements, thank you.