We, the GNU family, have a reason to celebrate today :) I do not see it at that. It is a sad afair when one needs to intervenenterveene in this manner.
Thank you also to Amin Bandali, Christopher Dimech and Francisco Vila. Team work! Ian was also instrumental in this.
