I tested apt version 2.0.3. This:
sudo apt install gnome-user-docs* gnome-getting-started-docs*
whereas it did not before, and I had to use Gunnar's workaround from comment #6 above.
I tested apt version 2.0.3. This:
sudo apt install gnome-user-docs* gnome-getting- started- docs*
whereas it did not before, and I had to use Gunnar's workaround from comment #6 above.