holger/mobile-bookmarklets

A bookmarklet to ease adding bookmarklets on mobile browsers