add lean_worker.js