Merge pull request #586 from jay-hodgson/develop

merge down from release-13 to develop
remove tips around the Bookmark widget until it is reworked.