Done. Changed to `RANGE_CHUNK_SIZE` and moved to the top of `core/pdf_manager.js`. Since this file is loaded before `core/worker.js`, the constant declared in pdf_manager.js can also be used in worker.js.