Bookmark improvements
Revival of parts of !42 (closed):
- detect divergence with a branch bookmark suffix
- prune bookmarks when safe
- log bookmark changes on pull
All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
Revival of parts of !42 (closed):