raise the default number of bookmarked definitions