Update infex.html