Yes, I confirm they are good and approve them being set by dafault. Do you mean I simply call @quotation rather than @smallquotation. It certainly makes things easier. Almost always I use @smallbook, and even for @smallbook, the small versions are also better. Can you see if they can be used by default as well for @smallbook.
> Sent: Saturday, October 24, 2020 at 2:17 PM > From: "Gavin Smith" <gavinsmith0...@gmail.com> > To: "Christopher Dimech" <dim...@gmx.com> > Cc: "help-texinfo gnu" <help-texinfo@gnu.org> > Subject: Re: @smallverbatim > > On Sat, Oct 24, 2020 at 01:33:36PM +0200, Christopher Dimech wrote: > > Was not a request for consistency. I find the @small versions more useful > > because the customary one makes the text too big. For instance, a quotation > > is much better when using @smallquotation. > > > > I needed to use verbatim as it does not expand commands, but needed the > > small version. > > The latest version works quite well with @bsixpaper, IMHO, because > small fonts are on by default for @verbatim, @example, etc. and > the margin is reduced, so most existing uses of it are OK without > overlong lines. > > https://ftp.gnu.org/gnu/texinfo/texinfo.tex >