@mart_w Yeah, I used it for years (with varying self-written frontends) and it is great. It does however miss a few crucial features I need. And tasksync did not work to my satisfaction.