Le 31/10/22 à 17h07, Tom Kacvinsky a écrit : > P.S. What is up with the awful experience with ctan.org? Comic Sans? > Sounds being played? Did it get hacked? Halloween! -- Denis