Rename "clear_highlighting" into "clear_hl"
Improve the way the current html element is highlighted
Improve "get_current_node" method efficiency