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

From: Eli Zaretskii <[email-masked]>
Date: Fri, 14 Oct 2022 09:11:30 +0300

> From: Philip Kaludercic <[email-masked]>
> Cc: Lars Ingebrigtsen <[email-masked]>,  Eli Zaretskii <[email-masked]>,
>   [email-masked],  Protesilaos Stavrou <[email-masked]>
> Date: Thu, 13 Oct 2022 22:19:20 +0000
> 
> Mauro Aranda <[email-masked]> 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.