> Confirmed on K/Ubuntu 20.04 with TeX Live 2020. BTW, 'top' is telling me that 'tex' is eating '99.7%' of CPU right now. Better abort this process! Best, Andreas