$ref siblings are ignored according to the OpenAPI specification, and the referenced definitions already have examples. Signed-off-by: Anders Kaseorg <anders@zulip.com>