A gnome shell extension to quickly open favourite folders