lint: tex conventions