highlight selection is now faster due to CPU-caching