A document manager application for GNOME