[Bug: 21.4.21] tex-file