Two MODs available over the last two days. Both are quite simple but useful:
(Show external ticket ID in browser title.)
&
(Refresh ticket (list) page every N seconds)
