Updated / renamed taghighlight plugin.