20141103 tech.tech-news: Google releases new Bookmark Manager extension for Chrome