taghighlight, python3