option.js pesca le options direttamente da bookmarklets