Simple (at the moment) html editor based on GTK+