small nit: it's not clear what `[<args>]` means. How about just `[example-args]`