Rename jadfa to jadfa.html