Software: Insync, Gala Sky and Taskwarrior