Regenerate headers and extension index after #418
5 files changed