Does this page not need any of the `extend*` files? Or was that an oversight?