We weren't correctly garbage-collecting `Doc`s, so we had `Highlighter`s stay alive over their due time.