straditize: Digitizing stratigraphic diagrams. - Philipp S. Sommer; Dilan Rech; Manuel Chevalier; Basil Davis (J. Open Source Softw., 2019)