Re: The GP command “?”

[Ilya Zakharevich <nospam-abuse@ilyaz.org>]

On Sun, Dec 10, 2023 at 09:28:36PM +0100, Bill Allombert wrote:
> On Sun, Dec 10, 2023 at 03:58:35PM +0000, John Cremona wrote:
> > I do use ? as I still don't know the section numbers.
> 
> ... especially since we change them from time to time.
> Some sections are a bit too crowded, but '??10' is useful.
> 
> And this is more useful than a fixed text intended for beginners. 

Do you mean the snippet I wrote?  Do you REALLY think it is for
beginners?!

How many readers of this list know all the details written there?

> Also  the single-question-mark display system is not suitable for long text.
> Maybe we can add
> ??beginners before ??tutorial

I do not think that what I wrote is longer than the list of sections.
Is it?

Thanks,
Ilya