Explain a confusing bit of my LaTeX configuration