I think we decided on `ext.foo` ~two weeks ago, but I forgot and it didn't land in the extensiondev docs. Let's revise this when most of the pieces have fallen into their places.