Some fiddling with the Manual bookmarks