Hi,
my issue is quite related, so I decided to post it here :)
I am using your highlight extension, but unfortunately it affects the replacement-mechanism that translates "#(ticket-no)" to a clickable link for the corresponding ticket. When using your extension, the translated link is shown as ...