Ivan Shmakov <ivan@siamics.net> writes:

>  > What to use here is a mostly a matter of personal style, and a bit of
>  > a bikeshed at that, so you are likely to get varied opinions.  At the
>  > end of the day it doesn’t really matter what you go with.
>
> 	Yes.

I ended up using when (and indenting it correctly) if that's ok.