Fixed tab_replace
simplify exported html from until.highlight