I think we should do some experiments to see how slow different file sizes are.  If it's only huge 100 KB files, then it _might_ be ok to simply have highlighting silently not happen (with no visible message)...