Distributed bookmarklet/server pair for tagging mail with nmbug