Hi. What should we do with libkate? It seem to be without a upstream developer, and I worry that we will not be able to maintain it properly. It is used by more than 50% of the Debian population. <URL: https://tracker.debian.org/pkg/libkate > -- Happy hacking Petter Reinholdtsen