Autorefresh taglist, some additions to javascript snippets, ...