Move bookmarklets back to public so already-installed bookmarklets continue to work