Add some tips on gnome extension management to the readme