Sounds good to me. You should send a PR to
https://github.com/metamath/metamath-website-seed, which contains the
source for index.html. What are you planning to do with the translated
sources? Are they in a separate repo? The site build does run latex for
some things although I don't think it
I want to announce that I created a German translation of the Metamath
book, based on the Latex files of the original book (see GitHub
https://github.com/metamath/metamath-book). I plan to provide it for the
Metamath community, and all interested, German speaking people. The easiest
way to do
