A cloud and local document manager application for GNOME