Fixed bookmarks and highlights search, for Micro.blog Premium subscribers.