/usr/share/gnome-shell/search-providers/gnome-documents-search-provider.ini is in gnome-documents 3.10.2-0ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | [Shell Search Provider]
DesktopId=gnome-documents.desktop
BusName=org.gnome.Documents.SearchProvider
ObjectPath=/org/gnome/Documents/SearchProvider
Version=2
|