mention github mirror in html footer