Window: forget timestamp when options changes
Simplify FlagLines, do not try to update the option
RegexColorizer maintains a per buffer cache
Do not pass a window to highlighters factories