doc: add highlight_full()