Dirk Beyer, Marian Lingsch Rosenfeld: WitnessLint. Zenodo 2025