On Sun, 26 Jul 2015 20:01:40 +0200 Pablo Rodriguez <oinos at gmx.es> wrote: > bookmarks have some issues. Indeed, I observe similar issues. However, I do not make much use of these bookmarks so I have not paid too much attention to this for now. Alan