ubuntu-docs or gnome-user-docs for Ubuntu 17.10?

[Jeremy Bicha]

Hi,

I'm sure you've heard that Ubuntu will be switching its default
interface from Unity to GNOME. The Ubuntu Desktop's team aims to have
a basic gnome-shell session in place before Ubuntu 17.10 "Artful"
Alpha 2 which is currently scheduled for late July. [1]

Mark Shuttleworth's vision is for Ubuntu to ship GNOME with minimal
customization but it's not clear what that will look like exactly yet.

On first login, Ubuntu GNOME 16.10 and 17.04 uses GNOME's Initial
Setup tool which asks a few setup questions and then displays the
GNOME help. It's an interesting idea so maybe Ubuntu will keep it.

For 17.10, especially for the Alphas, I'd like to propose that we
replace ubuntu-docs with gnome-user-docs in main and only install
gnome-user-docs by default. That still allows several months to
customize the help if desired before 18.04 LTS.

What do you think of this proposal?

[1] https://wiki.ubuntu.com/ArtfulAardvark/ReleaseSchedule

Thanks,
Jeremy Bicha