Add option to disable bookmark highlighting