You're a bit fast. That was only merged three hours ago :-) Await the next builds, it will be in there. A bit rough around the edges, however, but we'll happily take bug reports, I'm sure.
Hm, I think there was indeed navigation among the highlights, but I'm actually not quite sure, I might be confused and it was bookmarked pages navigation only.
|