Instructions for installing an EZproxy bookmarklet