Am 31.10.22 um 22:07 schrieb Tom Kacvinsky: > > P.S. What is up with the awful experience with ctan.org > <http://ctan.org>? Comic Sans? Sounds > being played? Did it get hacked? no, Halloween :-)