Where is the manual?

[Giovanni Campagna <scampa giovanni gmail com>]

In GNOME Panel, the GNOME Help viewer had a prominent place in the
System menu, sometimes next to the distribution specific manual or
release notes.
In GNOME Shell, the System menu is gone. Preferences are in Control
Center, System Monitor is among Applications in the Overview, Log Out
and Shutdown are in the Status Menu... but the Help?
Disappeared completely!
In fact, unless I am missing something (which is not a good point for
the help button), the only way to start it is through Alt-F2, as it is
not even in the main application menu, and Alt-F1 opens the Overview

Are there plans for reenabling a fast access to GNOME Manual?

Should it be an entry in the Status menu?
Adv: similar to GNOME 2. Dis: Help is not Status

Should it be a default-favorite application in the Overview?
Adv: no new code. Dis: occupies much more space than necessary (it not
expected to be used every day)

Or may a dedicated button next to System Status Area?
Adv: very discoverable Dis: breaks design, clobbers UI, reminds of
GNOME Panel's launchers (which are dead and buried, until the Sidebar
is resurrected)

Giovanni