In Ubuntu 18.04 (Gnome) the system search (accessed via the Windows
button) allows the search for files. I believe that by default it
indexes the user's home folder. I want to prevent it indexing certain
folders but cannot find how to do that. I searched dconf for likely
looking data but did not find anything.