helpful bookmarklets, mainly for use with the library catalogue