Hi, today is Kate's birthday, thanks to all people that helped to maintain & improve it in the last 20 years. https://kate-editor.org/post/2020/2020-12-14-kate-is-20-years-old/ Greetings Christoph -- Ignorance is bliss... https://cullmann.io | https://kate-editor.org