external remove_tag_by_name : text_buffer -> string -> text_iter -> text_iter -> unit = "ml_gtk_text_buffer_remove_tag_by_name"