Hey, just found out that some of my colleagues are not using bookmarklets for SEO. And I was just shocked. I use them every day! Do you guys use them? Which and how often?