On Mon, Dec 14, 2020 at 9:18 PM Christoph Cullmann <christoph at cullmann.io> wrote: > > 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/ :) Congratulations to the team! A pleasure to rely on your work. Aleix