Gentlemen, I'm going to switch ISPs soon and most probably will stop mirroring http://depot.javispedro.com/nit/harm/srcs/ (sources of the latest PR 1.3). Is there another mirror available around for those? I get around 10 hits per month (albeit sometimes you get a noisy wget spider).