Fix up the extensibility page.