Re: The GP command “?”

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. 

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

Cheers,
Bill