OK, that is for @seanh to decide. But at least I would use the same format on the extension doc page that uses the configuration options page.