Fix code examples up to "Other considered"