Fun setting up basic productivity tools with Syncthing and Todo.txt