Hide mounts under `$HOME` per default

Hi! I'm using btrfs and zfs for about 10 years now for my home and subdirectories. Since gvfs shows all mounts under the users home the file manager (for example nautilus) gets cluttered with unnecessary entries for every btrfs subvolume or zfs filesystem. While I know that both filesystems are rather niche I don't see any benefits in showing mounts under the users home. I think the mounts under the users home are part of the static system configuration and shouldn't concern the user. The user isn't able to unmount these filesystems anyway, unless they are specifically mounted with the users mount option or something like that. I think most (if not all) mounts with gvfs happen under /run/media/$USER which would still be shown per default after this merge request.

Have I missed something? Is it actually important to show mounts under the users home? At least on my setup I couldn't find any drawbacks while using this patch for the last couple of years.

Nautilus bug: nautilus#1074