Known problems/bugs:
	- syntax highlighting can be slow sometimes
	- refuses to load some files because of "invalid UTF8"
	- crashes sometimes on exit
	- crashes sometimes on file close
	- (beaver:21808): Gtk-CRITICAL **: file gtktextbuffer.c: line 2166 (gtk_text_buffer_apply_tag):
		assertion `tag->table == buffer->tag_table' failed