Thanks David! I’ve seen that and a few other options before, though that bookmarklet is one of the simpler UI’s I’ve run across for the average user and provides a few output options (though sadly no HTML). I’ve documented many others on the IndieWeb wiki for future reference. In the past, I’ve just downloaded and self-parsed my
clippings.txt file to turn my highlights and annotations into material on my website like this example from a book by David Christian.
I suppose I’ll hold my breath until Jon Udell comes up with a solution. 🙂