In 2021 we sent out a pdf version since it was something that I only knew how to handle via LaTeX. Maybe I should try converting it to HTML somehow, but in the past it’s never worked that well.