Extensions by Pak Kin Lau

TeXPatch

⚡ Productivity

Patch TeX quirks in page selections (uses texpatch).