issue 52: source link for properties/DTDs not linking to the right repo