Great, thank you! The web version has been updated with the latest changes. Hopefully, the translation is now complete. I think we both ended up spending more time on this than we initially expected - but it was definitely time well spent, as the translation is much more polished now. If you happen to spot any other issues, please feel free to report them. It'll likely be a while before I release a stable version, so making changes in the meantime is not a problem.