the lacking directory indexes on the mirror make it a bit hard to check, but let me double confirm this.