> From: Gavin Smith <[email protected]> > Date: Thu, 6 Sep 2018 20:46:57 +0100 > Cc: [email protected], [email protected] > > There is also something in there about putting text in brackets in bold > and possibly changing the font used for the bracket characters > themselves. I don't know what that is all about.
I think this is to support what is described in the node "Optional Arguments" in the Texinfo manual.
