Add 4.2 release to html indexes