I see.  I didn't know! :) I'll open a separate issue about it then.

For here, then I just suggest the two options.  I don't see much value in adding the third, but I do see a cost in complexity for the user.