add option to disable highlighting as well as dictionary lookup

This should also fix #973.