v8.2.4305
e5b78975 · patch 8.2.4305: tex filetype detection fails ·