> On 8 Jul 2021, at 15:00, Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com> wrote:
> I think we can improve it by changing to
> '<replaceable>refresh_option</replaceable>'. Thoughts?
My first thought was that the existing wording is clearer, referring to
“options to refresh”. But thinking on it more, it’s easy to see someone
confusing the options part as referring to the (bool) “option” to refresh
rather than refresh_option. I think your version is an improvement.
--
Daniel Gustafsson https://vmware.com/