Importing Bookmarkletifier files from Chrome extension