h5edit

Renamed it from index.html to h5edit_home.html because:
1) plan to use index.html for the index of all h5edit documents in this
   directory;
2) This file is really meant as a h5edit product home page of a higher level.