bookmarklet runs from xmlaspect.org