DioTeX Diagnostics