Comparison of early HTML editors