Minor enhancements to wave editor bookmarks...