bug#57639: [PATCH] Add new command 'toggle-theme'

[Eli Zaretskii]

> From: Philip Kaludercic <philipk@posteo.net>
> Cc: Lars Ingebrigtsen <larsi@gnus.org>,  Eli Zaretskii <eliz@gnu.org>,
>   57639@debbugs.gnu.org,  Protesilaos Stavrou <info@protesilaos.com>
> Date: Thu, 13 Oct 2022 22:19:20 +0000
> 
> Mauro Aranda <maurooaranda@gmail.com> writes:
> 
> >> +(defun theme-choose-variant (&optional no-confirm no-enable)
> >> +  "Prompt to switch from the current theme to one of its a variants.
> >
> > I'd say: "Command to switch..."
> 
> Do you think it is necessary to point out that it is a command?

I don't, FWIW.  The doc string should describe what the command does.