A Gnome Shell extension for quick access to recently opened documents