bumping the version now we have highlighting (and removing it from the todo list) (see #1)