Jack S.
Titles from the Bookmark saved header are not always good.
Sometimes they don't even exist.
It would be nice to be able to edit it manually.