On Saturday, 26 December 2015 at 21:38:23 UTC, Adam D. Ruppe wrote: > I do NOT want the current symbol to be highlighted. Harbored doesn't do that either. The only time I use that feature in ddoc is to disable it.