Bookmarklets for various websites that extend their functionality and/or design