Translation

Use the button at the bottom right of the page to switch the language to English. But the translation was not by me, but by a lindat translator developed by Czech scientists at MFF UK. Using their APIs, pythons and shell scripts, I have automatically translated the pages, so that any English text you see here is generated automatically, without my manual correction (largely without any intervention). Below you'll find some details about how I did it all:

• I used a python html parser html.parser.
• I found the exact API commands in the interactive documentation, this is just a convenient call to the curl.
• The rest was just a million if else statements, to translate the contents of all my tags correctly. For example, keeping references in translations was problematic.