Rename HTML test functions due to merge conflicts of their enumeration