[gedit-list] how to edit the tag list plugin html.tags file

["nick humphrey" <nick c humphrey gmail com>]

i'm using gedit 2.18.1 on ubuntu linux feisty fawn. i want to
personalize/improve the xhtml tag list. when i unpack the HTML.tags.gz
file (/usr/share/gedit-2/taglist/HTML.tags.gz) and edit HTML.tags, zip
it back up as a gz and then replace the original gz file i see no
changes in the list (even after restarting gedit). how do i edit the
tag list?

thanks in advance,

Nick