Known problems/bugs:
	Syntax highlighting can be slow sometimes
	There may be segmentation faults which we still haven't noticed
