Perhaps we also can replace "Example x.y" with "Listing x.y" as most of them are no real examples but spec API types.